Título Nº Estudante Nome Estudante Grau Académico Data de Início Data de Defesa Estado Data Estado Coorientadores
1 Contract Checking For Lazy Functional Languages 201304902 Rui Jorge Santos Andrade Master 08-08-2017 07-09-2018 Concluded 07-09-2018
2 Resource Analysis for Lazy Evaluation with Polynomial Potential 201404984 Sara Barros Moreira Master 29-08-2019 25-11-2020 Concluded 25-11-2020 238703 - António Mário da Silva Marcos Florido
3 Linear Rank Quantitative Types 201706130 Fábio Daniel Martins Reis Master 23-09-2021 06-10-2022 Concluded 06-10-2022 245584 - Sandra Maria Mendes Alves
4 Processamento de XML em Programação em Lógica. 199404238 Jorge Manuel Neves Coelho Master 01-09-2001 Concluded 15-11-2002
5 Inferência de Tipos e Resolução de Restrições 199404260 Sandra Maria Mendes Alves Master 01-09-2000 Concluded 20-09-2001
6 Amortised Resource Analysis for Lazy Functional Programs 199800420 Hugo Miguel Oliveira Romualdo Simões PhD Programme 23-09-2004 05-02-2014 Concluded 05-02-2014 900041241 - Kevin Hammond
7 "Analise de Sentimento em Documentos em Documentos de Texto Recorrendo a Algoritmos de Aprendizagem" 200301066 Paulo Manuel Ferreira Neto Master 26-10-2005 Concluded 31-10-2008
8 Linearisation of the Lambda-Calculus 199404260 Sandra Maria Mendes Alves PhD Programme 24-09-2001 30-04-2007 Concluded 30-04-2007
9 XML Processing in Logic Programming 199404238 Jorge Manuel Neves Coelho PhD Programme 10-07-2003 28-11-2007 Concluded 28-11-2007
10 Semantics-based Program Verification: an Abstract Interpretation Approach 199502322 Vítor Gabriel dos Reis Machado Rodrigues PhD Programme 07-11-2008 15-05-2013 Concluded 15-05-2013
11 Programmimg with Sequence and Context Variables: Foundations and Applications 200907310 Besiki Dundua PhD Programme 23-02-2010 11-09-2014 Concluded 11-09-2014 999935757 - Temur Kutsia
12 Liquid Intersection Types 201201409 Mário José Parreira Pereira Master 28-08-2013 24-07-2014 Concluded 24-07-2014 245584 - Sandra Maria Mendes Alves
13 Closed Types for Logic Programming 201100364 João Luis Alves Barbosa Master 31-08-2015 06-09-2016 Concluded 06-09-2016 202482 - Vitor Manuel de Morais Santos Costa
14 Non-Blocking Concurrent Imperative Programming with Session Types 201001525 Miguel Eduardo Pinto da Silva Master 11-08-2015 25-07-2016 Concluded 25-07-2016 900089826 - Frank Pfenning
15 Resource aware calculi for programming languages 201303409 Inês Duarte Lima Master 01-10-2018 13-12-2019 Concluded 13-12-2019 238703 - António Mário da Silva Marcos Florido
16 Static and Dynamic Types for Functional Languages 201207861 Pedro Jorge Fernandes Ângelo Master 14-08-2016 19-07-2017 Concluded 19-07-2017 203773 - Pedro Baltazar Vasconcelos
17 Negociação em Bolsa em Dispositivos Móveis 200603063 Décio Cristóvão Andrade Miranda Master 08-09-2011 22-11-2012 Concluded 22-11-2012 238703 - António Mário da Silva Marcos Florido
18 Synthesis of Programs from Linear Types 201505100 Maria Inês Melo e Sousa Master 10-08-2020 17-11-2021 Concluded 17-11-2021 245584 - Sandra Maria Mendes Alves