Pedro T. Monteiro
Index - Publications - Software

my photo   Research fellow (with a FCT Investigator grant)   FCT investigator image
Address: INESC-ID Lisboa (SAT group)
Rua Alves Redol 9
P-1000-029 Lisboa, Portugal
Tel: (+351) 21 3100 320


Research Interests 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 currently involved on the development of, a computer tool for the modeling and simulation of genetic regulatory networks.
I also belong to (Consortium for Logical Models and Tools), a consortium of research groups interested in logical modelling.

I am also interested on the study of the topological structure of the evolutionary relationships within bacterial populations. I collaborate on the development of plugins for

Finally, I collaborate, since its creation, in the regular maintenance and development of new functionalities of the database, a repository of regulatory associations for Saccharomyces cerevisiae.

Teaching 2014/2015 (Spring semester): Microbial Cell Factories at IST-ULisboa (Alameda campus)
2014/2015 (Spring semester): Compilers at IST-ULisboa (Alameda campus)
2014/2015 (Winter semester): Project in Systems Biology at IST-ULisboa (Alameda campus)
2013/2014 (Spring semester): Microbial Cell Factories at IST-ULisboa (Alameda campus)
2013/2014 (Fall semester): Object oriented programming at IST-ULisboa (TagusPark campus)
2012/2013 (Fall semester): Object oriented programming at IST-ULisboa (TagusPark campus)
2011/2012 (Spring semester): Search and publication of information at ISEGI-UNL

Short Curriculum
2013-20xx: Invited assistant professor at Instituto Superior Técnico.
2012-20xx: Research fellow at INESC-ID Lisboa (currently at SAT group).
Visiting researcher at Instituto Gulbenkian de Ciência (at Network Modelling group).
2011-2012: Postdoctoral researcher at the Network Modelling group of Instituto Gulbenkian de Ciência.
2010-2011: Postdoctoral researcher at the Molecular Microbiology and Infection Unit of Instituto de Medicina Molecular.
2006-2010: Dual PhD from Instituto Superior Técnico and Université Claude Bernard Lyon 1.
 - Hosted by the IBIS Group (Hidde de Jong) at INRIA Grenoble - Rhône-Alpes, France.
2005-2006: Student of the PhD Program in Computational Biology at Instituto Gulbenkian de Ciência.
2003/2005: BSc/MSc from Instituto Superior Técnico in Information Systems and Computer Engineering.
Forthcoming Events - ICSB'15 - International Conference on Systems Biology, November 23-26, Biopolis, Singapore

- CMSB'15 - Computational Methods in Systems Biology, September 16-18, Nantes, France

- INForum2015: 7° Simpósio Nacional de Informática, 7-8 de Setembro de 2015, Universidade da Beira Interior

- ISMB/ECCB'15 - European Conference on Computational Biology, July 10-14, Dublin, Ireland

- Tutorial @ [BC]2 2015 - Logical modelling of regulatory networks, June 9, Basel, Switzerland

- [BC]2 2015 - Basel Computational Biology Conference, June 7-10, Basel, Switzerland

- CMSB'14 - Computational Methods in Systems Biology, November 17-19, Manchester, UK

- ECCB'14 - European Conference on Computational Biology, September 8-10, Strasbourg, France

- Tutorial @ ECCB'14: Computational Tools to Define and Analyse Logical Models of Cellular Networks, September 7, Strasbourg, France

- Workshop @ ECCB'14: Workshop on Logical Modelling and Analysis of Cellular Networks, September 6, Strasbourg, France

- INForum2014: 6° Simpósio Nacional de Informática - Sessão de Bioinformática, 4-5 de Setembro de 2014, Universidade do Porto

- DILS2014 - Data Integration in the Life Sciences, July 17-18, 2014, IST Lisbon, Portugal

- Datastorm Summer School, July 14-16, 2014, Lisbon, Portugal

- XX Jornadas de Biologia de Leveduras Professor Nicolau van Uden, 11-12 Julho 2014, IST Lisboa

- WODES'14, May 14-16, 2014, École Normale Supérieure de Cachan, France

- 3rd CoLoMoTo meeting, April 17-18, 2014, Lausanne, Switzerland


Index - Publications - Software