Pedro T. Monteiro @ INESC-ID/IST

		Pedro T. Monteiro
		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

Keywords - 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).
Since 2023 he serves as Coordinator of the MSc in Computer Science and Engineering (MEIC), the largest and best MSc at IST - Universidade Técnica de Lisboa. During 2021 and 2022 he served as vice-coordinator.

Research interests 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.