my photo  
Pedro T. Monteiro
  Tecnico
INESC-ID
Address: INESC-ID Lisboa, SAT group
Rua Alves Redol 9
P-1000-029 Lisboa
PORTUGAL
Email:
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 http://CoLoMoTo.org (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:
- http://ginsim.org, a computer tool for the modeling and simulation of genetic regulatory networks.
- http://epilog-tool.org, 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 http://yeastract.com and http://pathoyeastract.org 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 http://www.phyloviz.net.

Forthcoming Events 2017:
- CMSB'17 - Computational Methods in Systems Biology, September, Darmstadt, Germany

- [BC]2 2017 - Basel Computational Biology Conference, September 12-15, Basel, Switzerland

- ISMB/ECCB'17 - Intelligent Systems for Molecular Biology / European Conference on Computational Biology, July 21-25, Prague, Czech Republic

2016:
- Workshop: Asynchronous dynamics of logical models: assessing properties biologically relevant, November 3-4, Marseilles, France

- 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

2015:
- 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 - Intelligent Systems for Molecular Biology / 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

2014:
- 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

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