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 - Research - 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 and a visiting researcher at Instituto Gulbenkian de Ciência.

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.

The main topics include, but are not limited to:
   Algorithms, Computational Biology, Bioinformatics, Biological regulatory networks, Logical modeling,
   Formal verification, Model revision, Boolean functions
For more details, check the Research section.

If you are interested in any of these topics and/or discussing the possibility to do a MSc or a summer internship, please .


Forthcoming Events 2018:
- ECMTB'18 - European Conference on Mathematical and Theoretical Biology, July 23-27, Lisbon, PT

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

- INForum2017 - 9° Simpósio Nacional de Informática, Setembro/Outubro de 2016, Universidade de Aveiro    

- 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