Current team

Automated Reasoning and Software Reliability Research Group	Biological Sciences Research Group
Pedro T. Monteiro, PhD Associate Professor IST Homepage   Jorge Oliveira, PhD Homepage	Miguel C. Teixeira, PhD Associate Professor IST Homepage Margarida Palma, PhD Homepage Cláudia P. Godinho, PhD Homepage Pedro Pais, PhD student Homepage Mafalda Cavalheiro, PhD student Homepage Miguel Antunes, PhD student Homepage Mónica Galocha, PhD student Homepage Luis C. Martins, PhD student Homepage Nuno B. Melo, PhD student Homepage Ricardo A. Ribeiro, PhD student Homepage Romeu Viana, PhD student Homepage Isabel Sá-Correia Full Professor IST Homepage
Information & Decision Support Systems Research Group
Arlindo L. Oliveira, PhD Full Professor IST Homepage

Past contributors

Knowledge Discovery & Bioinformatics Research Group	Biological Sciences Research Group
Ana T. Freitas Alexandre P. Francisco Sara C. Madeira Pooja Jain Dário Abdulrehman Sofia d'Orey Nuno D. Mendes Alexandra Carvalho Hélio Pais Ricardo Aires Joana Gonçalves	Sandra Tenreiro Alexandra Fernandes Marta Alenquer Artur Lourenço Nuno Mira Joana Guerreiro Sandra R. Santos Tênia R. Cabrito Catarina Costa
SW Algorithms and Tools for Constraint Solving Research Group
Tiago Pedreira Alexandre Lemos