???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.
Identificação

Identificação pessoal

Nome completo
Pedro T Monteiro

Nomes de citação

  • Monteiro, Pedro T

Identificadores de autor

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

Websites

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Bioinformática
Formação
Grau Classificação
2006 - 2010
Concluído
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" (TESE/DISSERTAÇÃO)
Approved unanimously
2006 - 2010
Concluído
Bioinformatique (Doutoramento)
Université Claude Bernard Lyon 1, França
"Towards an integrative approach for the modeling and formal verification of biological regulatory networks" (TESE/DISSERTAÇÃO)
Approved
2005 - 2006
Concluído
PhD Program in Computational Biology (PDBC) (Outros)
Instituto Gulbenkian de Ciência, Portugal
Approved
2003 - 2005
Concluído
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" (TESE/DISSERTAÇÃO)
Approved unanimously
2004
Concluído
Molecular Microbiology: exploring bioinformatics (Pós-Graduação)
Universidade de Lisboa Instituto Superior Técnico, Portugal
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento
Empregador
2012/12 - Atual Investigador (Investigação) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2011/04 - 2012/11 Pós-doutorado (Investigação) Instituto Gulbenkian de Ciência, Portugal
2010/06 - 2011/03 Pós-doutorado (Investigação) Instituto de Medicina Molecular, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento
Empregador
2020 - Atual Professor Associado (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
2016/09 - 2020/08 Professor Auxiliar (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
2014/02 - 2016/08 Professor Auxiliar Convidado (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
2012/02 - 2012/07 Professor Auxiliar Convidado (Docente Universitário) Universidade Nova de Lisboa Instituto Superior de Estatística e Gestão de Informação, Portugal
Distinções

Prémio

2022 Prémios Científicos ULisboa/CGD - Menção Honrosa
Universidade de Lisboa, Portugal
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

Outra distinção

2020 Top 5 at ITC 2019: International Timetabling Competition