Network Modelling group
Instituto de Gulbenkian de Ciência
Rua da Quinta Grande, 6
P-2780-156 Oeiras, Portugal
Index -
Publications -
Software
|
|
|
Currently a Postdoctoral Researcher at the:
Network Modelling group |
Since my PhD, I have been mainly interested on the analysis and validation 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 am currently working on the definition of diagnostics for the semi-automatic revision of biological models.
I am also interested on population evolutionary genetics.
Especially, on the study of the topological structure of the evolutionary relationships within bacterial populations.
Additionally, I collaborate in the regular maintenance and development of the YEASTRACT database since its creation:
http://yeastract.com
(A repository of regulatory associations for Saccharomyces cerevisiae).
During 2005/2006 I attended the PhD Program in Computational Biology at Instituto Gulbenkian de Ciência.
In May 2010 I finished a dual PhD from Instituto Superior Técnico and Université Claude Bernard Lyon 1, developed at:
→ the IBIS Group (INRIA Grenoble - Rhône-Alpes)
→ the KDBIO Group (INESC-ID Lisboa)
under the supervision of Hidde de Jong (INRIA Grenoble - Rhône-Alpes), Ana T. Freitas (INESC-ID Lisboa) and Radu Mateescu (INRIA Grenoble - Rhône-Alpes).
After completing my PhD I worked as a postdoctoral researcher at the Molecular Microbiology and Infection Unit at the Instituto de Medicina Molecular.
I'm currently a postdoctoral researcher at the Network Modelling group at the Instituto Gulbenkian de Ciência.