my photo  
Pedro T. Monteiro
Address: INESC-ID Lisboa, SAT group
Rua Alves Redol 9
P-1000-029 Lisboa
Tel: (+351) 21 3100 320

Index - Teaching - Publications - Software

About me

I am currently an Assistant Professor at the Departament of Computer Science and Engineering of Instituto Superior Técnico (IST) - Universidade de Lisboa.
I am also a researcher at INESC-ID Lisboa in the SAT group.

I obtained my BSc and MSc from IST-Technical University of Lisbon in Information Systems and Computer Engineering, in 2003 and 2005, respectively, having worked afterwards for one year in the private sector.
I was selected to the PhD Program in Computational Biology at Instituto Gulbenkian de Ciência, which led me to develop my PhD at the IBIS Group (Hidde de Jong) at INRIA Grenoble - Rhône-Alpes, France. In 2010, I obtained a dual PhD from IST-Technical University of Lisbon and Université Claude Bernard Lyon 1.
I then held a Postdoctoral researcher position at Molecular Microbiology and Infection Unit of Instituto de Medicina Molecular, followed by a Postdoctoral researcher position at the Network Modelling group (Claudine Chaouiya) of Instituto Gulbenkian de Ciência.
In 2013, I was the recipient of an Investigador FCT Starting Grant as a research fellow at INESC-ID Lisboa.

Research Interests

I have been mainly interested on the formal and static analysis 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 belong to (Consortium for Logical Models and Tools), a consortium of research groups interested in logical modelling. The consortium works on the definition of standards for model representation and interchange (especially the SBML qual format), and on the comparison of methods, models and tools.
In this context, I am currently involved on the development of:
-, a computer tool for the modeling and simulation of genetic regulatory networks.
-, a computer tool for the modeling, simulation and visualisation of logical models for epithelial pattern formation.

I collaborate, since their creation, in the continuous maintenance and development of both and databases, repositories of regulatory associations for Saccharomyces cerevisiae and pathogenic Candida species (currently C. albicans and C. glabrata), respectively.

Finally, I also collaborated on the development of plugins for

Forthcoming Events 2016:
- CMSB'16 - Computational Methods in Systems Biology, September 21-23, Cambridge, UK

- ICSB'16 - International Conference on Systems Biology, September 16-20, Barcelona, Spain

- INForum2016: 8° Simpósio Nacional de Informática - Sessão de Bioinformática, 8-9 de Setembro de 2016, Instituto Superior Técnico - U. Lisboa    

- SASB'16: 7th International Workshop on Static Analysis and Systems Biology, September 7, Edinburgh, UK

- Workshop on Logical Modelling of Biological Regulatory Networks: Methods and Applications @ ECCB'16, September 3, The Hague, The Netherlands  - Merged with BioNetVisA

- ECMTB'16 - European Conference on Mathematical and Theoretical Biology, July 11-15, Nottingham, UK

- PYFF6 - 6th Conference on Physiology of Yeasts and Filamentous Fungi, July 11-14, Lisbon, Portugal

- SAT/SMT/AR Summer School 2016, June 22-25, Lisbon, Portugal

- 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

- INForum2013: 5° Simpósio Nacional de Informática - Sessão de Bioinformática, 5-6 de Setembro de 2013, Universidade de Évora