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.
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.
I belong to http://CoLoMoTo.org (Consortium for Logical Models and Tools), a consortium of research groups interested in logical modelling.
The consortium works on the definition of standards for model representation and interchange (especially the SBML qual format), and on the comparison of methods, models and tools.
In this context, I am currently involved on the development of:
- http://ginsim.org, a computer tool for the modeling and simulation of genetic regulatory networks.
- http://epilog-tool.org, a computer tool for the modeling, simulation and visualisation of logical models for epithelial pattern formation.
I collaborate, since their creation, in the continuous maintenance and development of both http://yeastract.com and http://pathoyeastract.org databases, repositories of regulatory associations for Saccharomyces cerevisiae and pathogenic Candida species (currently C. albicans and C. glabrata), respectively.
Finally, I also collaborated on the development of plugins for http://www.phyloviz.net.