Pedro Tiago Monteiro

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