Pedro Tiago Monteiro

Molecular Microbiology and Infection Unit Instituto de Medicina Molecular Av. Professor Egas Moniz 1649-028 Lisboa, Portugal

INESC-ID Lisboa / KDBIO Rua Alves Redol, 9, 1º Esq 1000-029 Lisboa, Portugal

I'm currently a postdoc at the Molecular Microbiology and Infection Unit at the Instituto de Medicina Molecular.

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).

My main research interests are:
- Qualitative analysis of biological systems
  - Analysis and verification of biological models using model-checking techniques.
  - Specification of interesting dynamical behaviors using temporal logic.
- Biological databases and information systems
  - Modeling biological data.
  - Specification and implementation of information systems.

I also colaborate in the maintenance and development of the YEASTRACT database: http://www.yeastract.com
(A repository of regulatory associations for Saccharomyces cerevisiae).