???global.info.a_carregar???
Pedro T. Monteiro is an Associate Professor at the Departament of Computer Science and Engineering of Instituto Superior Técnico (IST) - Universidade de Lisboa and a researcher at INESC-ID Lisboa (ARSR scientific area). 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.
Identification

Personal identification

Full name
Pedro T Monteiro

Citation names

  • Monteiro, Pedro T

Author identifiers

Ciência ID
FD1C-1FB0-AF6F
Google Scholar ID
Xl4c8q0AAAAJ

Websites

  • http://pedromonteiro.org (Professional)

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Bioinformatics
Education
Degree Classification
2006 - 2010
Concluded
Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Towards an integrative approach for the modeling and formal verification of biological regulatory networks" (THESIS/DISSERTATION)
Approved unanimously
2006 - 2010
Concluded
Bioinformatique (Doutoramento)
Université Claude Bernard Lyon 1, France
"Towards an integrative approach for the modeling and formal verification of biological regulatory networks" (THESIS/DISSERTATION)
Approved
2005 - 2006
Concluded
PhD Program in Computational Biology (PDBC) (Outros)
Instituto Gulbenkian de Ciência, Portugal
Approved
2003 - 2005
Concluded
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Sistema de gestão da informação dos mecanismos de regulação genómica do organismo Saccharomyces cerevisiae" (THESIS/DISSERTATION)
Approved unanimously
2004
Concluded
Molecular Microbiology: exploring bioinformatics (Pós-Graduação)
Universidade de Lisboa Instituto Superior Técnico, Portugal
1998 - 2003
Concluded
Engenharia Informática e de Computadores (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Computational methods for the detection of structures in genomes" (THESIS/DISSERTATION)
15/20
Affiliation

Science

Category
Host institution
Employer
2012/12 - Current Researcher (Research) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2011/04 - 2012/11 Postdoc (Research) Instituto Gulbenkian de Ciência, Portugal
2010/06 - 2011/03 Postdoc (Research) Instituto de Medicina Molecular, Portugal

Teaching in Higher Education

Category
Host institution
Employer
2020 - Current Associate Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
2016/09 - 2020/08 Assistant Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
2014/02 - 2016/08 Invited Assistant Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
2012/02 - 2012/07 Invited Assistant Professor (University Teacher) Universidade Nova de Lisboa Instituto Superior de Estatística e Gestão de Informação, Portugal
Distinctions

Award

2021 Prémios Científicos ULisboa/CGD - Menção Honrosa
Universidade de Lisboa, Portugal
2013 Investigador FCT 2013 - Starting grant
Fundação para a Ciência e a Tecnologia, Portugal
2012 PAAMS’12 award - Scientific Excellence
2007 Sartorius award - Innovation in Microbiology/Biotechnology

Other distinction

2020 Top 5 at ITC 2019: International Timetabling Competition