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 in the Automated Reasoning and Software Reliability (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 mostly 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 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). In 2020 he was promoted to Associate Professor.
Since 2023 he is serving a 2-year mandate (2023-2024) as Coordinator of the MSc in Computer Science and Engineering (MEIC), the largest and best MSc at IST - Universidade de Lisboa. He also served 2 years (2021-2022) as Deputy 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.

Projects - FAIRY: FAIRification of YEASTRACT+ to Support Yeast-based Bioeconomy and Health, PI, funded by O.S.C.A.R.S. (Open Science Clusters' Action for Research & Society) Horizon Europe
- LAIfeBlood: Artificial Intelligence for Blood Management, PI, funded by FCT
- BioData.pt: Portuguese Biological Data Network, Task leader, funded by FCT
- MIXEDUP: Targeting pathogenesis and engineering cell factories: by developing mixed regulatory-metabolic genomic models in yeasts, Task leader, funded by FCT
- ERGODiC: Formal methods for the analysis of modular gEnetic ReGulatOry network DynamiCs, PI, funded by FCT
- CoMEDy: A COmputational Modelling platform for Epithelial DYnamics to explore the role of epithelial-mesenchymal transition and stemness acquisition in cancer recurrence, Task leader, funded by FCT
- CANTROL: Deciphering the mechanisms of transcriptional regulation that control antifungal drug resistance in the pathogenic yeast Candida glabrata: aiming the development of improved diagnosis and therapeutic approaches, Task leader, funded by FCT
- InvestigadorFCT: Towards a semi-automatic model revision of logical regulatory networks, PI, funded by FCT