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

Index - Teaching - Publications - Software


Positions available I am currently looking for interested applicants to work on logical modeling or on the Yeastract database family.

Short CV

Pedro T. Monteiro is an Assistant Professor at the Departament of Computer Science and Engineering of Instituto Superior Técnico (IST) - Universidade de Lisboa since 2016 and a senior researcher at INESC-ID Lisboa. He is also a visiting researcher at Instituto Gulbenkian de Ciência (IGC).

Pedro T. Monteiro obtained both a BSc and MSc from IST - Universidade Técnica de Lisboa in Information Systems and Computer Engineering, in 2003 and 2005, respectively, having worked afterwards in the private sector. In 2010, he obtained a dual PhD from IST - Universidade Técnica de Lisboa (in Information Systems and Computer Engineering) and Université Claude Bernard Lyon 1 (in Bioinformatique), developed at the IBIS Group (Hidde de Jong) at INRIA Grenoble - Rhône-Alpes, France.
He then held a Postdoctoral researcher position at Molecular Microbiology and Infection Unit (Mário Ramirez) from Instituto de Medicina Molecular (IMM), followed by a Postdoctoral researcher position at the Network Modelling group (Claudine Chaouiya) from Instituto Gulbenkian de Ciência (IGC).
In 2013, he was the recipient of an Investigador FCT Starting Grant as a research fellow at INESC-ID Lisboa.

His current research interests include 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. He is also interested on the number and structure of Boolean functions, and how their choice impact the dynamics of logical models of discrete systems. In this context, he is involved on the development of http://ginsim.org, a computer tool for the modeling and simulation of genetic regulatory networks, and http://epilog-tool.org, a computer tool for the modeling, simulation and visualisation of logical models for epithelial pattern formation. He also belongs to http://CoLoMoTo.org (Consortium for Logical Models and Tools), a consortium of research groups interested in logical modelling.

He is also deeply involved in the continuous maintenance and development of http://yeastract.com, http://pathoyeastract.org and http://ncyeastract.org databases, repositories of regulatory associations for S.cerevisiae, pathogenic Candida species and non-conventional yeast species, respectively.


Research Interests Algorithms, Computational Biology, Bioinformatics, Biological regulatory networks, Logical modeling, Formal verification, Model revision, Boolean functions

Forthcoming Events 2018:
- CMSB 2018 - 16th International Conference on Computational Methods in Systems Biology, Sep 12-14, Brno, Czech Republic

- ECCB 2018 - 17th European Conference on Computational Biology, Sep 8-12, Athens, Greece

- ECMTB 2018 - European Conference on Mathematical and Theoretical Biology, July 23-27, Lisbon, PT

- Workshop: Anniversary RSAT /GINSIM, May 16-17, Paris, FR

2017:
- GREEKC COST action - Lisbon training event, October 25-27, Lisbon, Portugal

- GREEKC COST action - Lisbon workshop, October 23-24, Lisbon, Portugal

- INForum2017 - 9° Simpósio Nacional de Informática, 12 e 13 Outubro de 2017, Universidade de Aveiro    

- CMSB'17 - Computational Methods in Systems Biology, September 27-29, Darmstadt, Germany

- Workshop @ [BC]2 2017: Logical modelling of biological regulatory networks, September 12, Basel, Switzerland

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

- SysMod ISMB 2017 - Computational Modeling of Biological Systems, 22 July, Prague, Czech Republic
   
- 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