my photo  
Pedro T. Monteiro
  Tecnico
INESC-ID
Affiliation: INESC-ID / IST - Universidade de Lisboa
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


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 and a senior researcher at INESC-ID Lisboa (SAT group).

Pedro T. Monteiro obtained a BSc and MSc from IST - Universidade Técnica de Lisboa (in Computer Science and Engineering), having then worked one year in the private sector. In 2010, he obtained a dual PhD from IST - Universidade Técnica de Lisboa (in Computer Science and 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. In 2016 he joined the faculty of the CSE Dep. at Instituto Superior Técnico (IST) - Universidade de Lisboa. During the spring semester of 2019, he was a Visiting researcher at the MABioS group at Institut de Mathématiques de Marseille (I2M).

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 exploring the structure of Boolean functions to study how their choice impacts the dynamics of logical models, and to develop model revision procedures.
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-plus.org, a portal of repositories of regulatory associations for S.cerevisiae, pathogenic Candida species and non-conventional yeast species, with new visualization and computational tools to enable cross-species comparison of regulatory networks.


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

Forthcoming Events 2019:
- FOSBE 2019: 8th IFAC Conference on Foundations of Systems Biology in Engineering, Oct 15-18, València, SP

- SASB 2019: 10th International Workshop on Static Analysis for Systems Biology, Oct 8, Porto, PT

- CMSB 2019 - 17th International Conference on Computational Methods in Systems Biology, Sep 18-20, Trieste, IT

- Workshop: Theory and applications of Boolean interaction networks, Sep 12-13, Berlin, DE

- INForum2019 - 11° Simpósio Nacional de Informática, 5 e 6 Setembro de 2019, Universidade do Minho

- 4th annual SysMod - Computational Modeling of Biological Systems community 4th annual meeting, July 22, Basel, CH

- ISMB/ECCB 2019 - Intelligent Systems for Molecular Biology / European Conference on Computational Biology, July 21-25, Basel, CH

- CIBCB 2019 - 16th IEEE International Conference on Computational Intelligence in Bioinformatics and Computational Biology, July 9-11, Certosa di Pontignano, Siena - Tuscany, IT

- ISBRA 2019 - 15th International Symposium on Bioinformatics Research and Applications, June 3-6, Barcelona, Spain

- VMCAI Winter School 2019, Jan 9-12, Lisboa, PT

2018:
- CMSB 2018 - 16th International Conference on Computational Methods in Systems Biology, Sep 12-14, Brno, CZ

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

- Workshop @ ECCB 2018 - Logical modelling of cellular networks, Sep 8, Athens, GR

- INForum2018 - 10° Simpósio Nacional de Informática, 3 e 4 Setembro de 2018, Universidade de Coimbra    

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

- Mini-Symposium @ ECMTB 2018 - Logical Modelling of (Multi)cellular networks, July 27, Lisbon, PT

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

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

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

- 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, DE

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

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

- SysMod ISMB 2017 - Computational Modeling of Biological Systems, 22 July, Prague, CZ
   
- ISMB/ECCB'17 - Intelligent Systems for Molecular Biology / European Conference on Computational Biology, July 21-25, Prague, CZ

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