Until 2000 I was working on the semantics of programming languages, program verification, types for programming, type inferrence, dynamic logic and intuitionistic type theory.
Since 2000 I am interested in bioinformatics and computational biology. In particular, currently I work on cis-regulatory module prediction in promoters of eucaryotic genes, analysis of promoter regions, comparative genomics. I also work on the analysis of protein-protein interaction networks, with emphasis on data integration, and prediction of interactions from comparative studies. I am also interested in evolution of bacteriophages.
In the past I was working on protein structure prediction, on inference of gene regulatory networks, on reconciliation of gene trees with a species tree, and on inferring phylogeny from the information of the whole genome.
You are welcome to visit the web page of my Lab of Computational Biology where you can find more information on the current reasearch and on publications.
Former PhD students (theoretical computer science):
Former PhD students (computational biology):