Index -
Publications -
Software
|
|
INESC-ID Lisboa / KDBIO Rua Alves Redol, 9, 1º Esq 1000-029 Lisboa, Portugal Fax: +351 21 3145 843 Tlf: +351 21 3100 267 |
INRIA Grenoble - Rhône-Alpes / IBIS 655 Av. de l'Europe, Montbonnot 38334 Saint Ismier CEDEX, France |
During 2005/2006 I started the PhD Program in Computational Biology at Instituto Gulbenkian de Ciência.
Currently I am a PhD student with joint supervision from Instituto Superior Técnico and Université Claude Bernard Lyon 1, sharing my time between:
→ the IBIS Group (previous HELIX) at INRIA Grenoble Rhône-Alpes
→ the KDBIO Group at INESC-ID Lisboa
under the supervision of Ana T. Freitas (INESC-ID Lisboa), Hidde de Jong (INRIA Grenoble - Rhône-Alpes) and Radu Mateescu (INRIA Grenoble - Rhône-Alpes).
My main research interests are:
→ Model validation
→ Analysis of genetic regulatory networks
→ Specification and verification of temporal logic properties of biological systems
→ Temporal logic patterns of biological queries
I also colaborate in the maintenance and development of the YEASTRACT database:
http://www.yeastract.com
(A repository of regulatory associations for Saccharomyces cerevisiae).