Computational biology
protein folding on lattice models
combinatorial optimization (analysis of time for Markov Chain Monte Carlo, genetic algorithms)
optimality of genetic code
motif recognition in genome
Computational Complexity
propositional logic, bounded arithmetic
complexity of higher type functionals
boolean functions and circuits