my photo  
Pedro T. Monteiro
  Tecnico
INESC-ID
Affiliation: INESC-ID / IST - Universidade de Lisboa
Address: INESC-ID Lisboa
Rua Alves Redol 9
P-1000-029 Lisboa
PORTUGAL
Email:
Telef: Alameda campus - ext: 2320 / tel: +351 21 3100 320
TagusPark campus - ext: 5281

Index - Teaching - Publications - Software Scholarly DBs  | 


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

If you're interested in any of these topics, please contact me!

Short CV Pedro T. Monteiro is an Associate Professor at the Department of Computer Science and Engineering of Instituto Superior Técnico (IST) - Universidade de Lisboa and a researcher at INESC-ID Lisboa (ARSR scientific area).

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 in 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.


Events
2023:
- CMSB 2023 - 21th International Conference on Computational Methods in Systems Biology, Sep 13-15, Luxembourg city, LU

- INForum2023 - 14° Simpósio Nacional de Informática, Set 7-8, Porto, PT

- ISMB/ECCB 2023 - 31th Intelligent Systems for Molecular Biology / European Conference on Computational Biology, Jul 23-27, Lyon, FR

- CompleNet 2023 - 14th International Conference on Complex Networks, Apr 25-28, Aveiro, PT

2022:
- ECCB 2022 - 21th European Conference on Computational Biology, Sep 12-21, Sitges, ES

- CMSB 2022 - 20th International Conference on Computational Methods in Systems Biology, Sep 14-16, Bucharest, RO

- INForum2022 - 13° Simpósio Nacional de Informática, Set 8-9, Guarda, PT

- NetSciX 2022 - International School and Conference on Network Science, Feb 8-11, Porto, PT

2021:
- INForum2021 - 12° Simpósio Nacional de Informática, Set 9-10, ISEL, PT

- ISMB/ECCB 2021 - Intelligent Systems for Molecular Biology / European Conference on Computational Biology, Jul 25-29, Lyon, FR

- CMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 22-24, Bordeaux, FR

- 2nd Cool Tools for Science, May 12-13, Lisbon, PT

- MIUP 2021 - Maratona Inter-Universitária de Programação, Oct 9, Lisboa, PT

2020:
- CMSB 2020 - 18th International Conference on Computational Methods in Systems Biology, Sep 23-25, Konstanz, DE

- ECCB 2020 - 19th European Conference on Computational Biology, Sep 5-9, Sitges, ES

- Workshop T05 - Computational modelling of cellular processes: regulatory vs metabolic systems @ ECCB 2020, Sep 1, Sitges, ES

- ECMTB 2020 - 12th European Conference on Mathematical and Theoretical Biology, Ago 31-Sep 4, Heidelberg, DE

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