I am currently an Assistant Professor
at the Departament of Computer Science and Engineering
of Instituto Superior Técnico (IST)
- Universidade de Lisboa.
I am also a researcher at INESC-ID Lisboa
in the SAT group and a visiting researcher at Instituto Gulbenkian de Ciência.
I obtained my BSc and MSc from IST-Technical University of Lisbon in Information Systems and Computer Engineering, in 2003 and 2005, respectively, having worked afterwards for one year in the private sector.
I was selected to the PhD Program in Computational Biology at Instituto Gulbenkian de Ciência, which led me to develop my PhD at the IBIS Group (Hidde de Jong) at INRIA Grenoble - Rhône-Alpes, France.
In 2010, I obtained a dual PhD from IST-Technical University of Lisbon and Université Claude Bernard Lyon 1.
I then held a Postdoctoral researcher position at Molecular Microbiology and Infection Unit of Instituto de Medicina Molecular, followed by a Postdoctoral researcher position at the Network Modelling group (Claudine Chaouiya) of Instituto Gulbenkian de Ciência.
In 2013, I was the recipient of an Investigador FCT Starting Grant as a research fellow at INESC-ID Lisboa.
I have been mainly interested on the formal and static analysis of qualitative models of biological regulatory networks. In particular, through the use of formal verification techniques like model checking and temporal logic, for the exploration of interesting dynamical behaviours of qualitative biological models.
The main topics include, but are not limited to:
Algorithms, Computational Biology, Bioinformatics, Biological regulatory networks, Logical modeling,
Formal verification, Model revision, Boolean functions
For more details, check the Research section.
If you are interested in any of these topics and/or discussing the possibility to do a MSc or a summer internship, please