Running PhD Theses: 9

Student Supervisor Co-Supervisor Title End date
Pedro de Melo Branco Paulo Alexandre Carreira Mateus Post-quantum cryptography based on code theory 10 / 2022
Riccardo Gozzi Daniel da Silva Graça João Filipe Quintas dos Santos Rasga Computing with Continuous Systems 8 / 2021
Manuel João Duarte Serejo Goulão Paulo Alexandre Carreira Mateus Post-quantum multiparty computation 5 / 2021
Ricardo André Faleiro Miguel Paulo Alexandre Carreira Mateus Nikola Paunkovic Entanglement and applications to quantum games 2 / 2021
Fábio Daniel Moreira Barbosa Amaro Fernandes de Sousa Agostinho Miguel Mendes Agra Disaster-resilient Network Design and Resource Management of Elastic Optical Networks 9 / 2020
Serena Di Giorgio Paulo Alexandre Carreira Mateus Nikola Paunkovic Learning of quantum density operators 2 / 2020
Mariano Hernandez Lemus Paulo Alexandre Carreira Mateus Nikola Paunkovic Quantum correlations and applications to cryptography 2 / 2020
Syed Tahir Amin Nikola Paunkovic Vitor Rocha Vieira Topological phases of matter and quantum information 2 / 2020
Preeti Yadav Paulo Alexandre Carreira Mateus André Nuno Carvalho Souto Quantum privacy 10 / 2019

Running MSc Theses: 2

Student Supervisor Co-Supervisor Title End date
Daniel José Nazaré Madruga Jan Gunnar Cederquist Ana Gualdina Almeida Matos Extension and deployment of an i-voting system 12 / 2019
João Ricardo Sares Teles de Matos Ana Gualdina Almeida Matos Jan Gunnar Cederquist Information Flow Analysis for Logic Programs 11 / 2019

Completed PhD Theses: 26

Student Supervisor Co-Supervisor Title End date
Cláudia Sofia Marques Fernandes Fernando Manuel Lourenço Martins Virgilio Rato Conhecimento Estatístico para Ensinar de uma Professora Estagiária a partir da análise das suas práticas relacionadas com a promoção da literacia estatística 5 / 2019
Guilherme Henrique Caçador Ramos Carlos Manuel Costa Lourenço Caleiro Improving information security in ranking, recommender and control systems 11 / 2018
Chrysoula Vlachou Paulo Alexandre Carreira Mateus Nikola Paunkovic Quantum walks in cryptography and finite-temperature topological phase transitions 9 / 2018
Luís Miguel Lopes de Oliveira Joel José Puga Coelho Rodrigues Amaro Fernandes de Sousa Routing and Mobility on 6LoWPAN Wireless Sensor Networks 6 / 2018
Ricardo Loura Paulo Alexandre Carreira Mateus Vítor Rocha Vieira Quantum Adiabatic Computation 4 / 2017
Andreia Filipa Torcato Mordido Carlos Manuel Costa Lourenço Caleiro A probabilistic logic over equations and domain restrictions 3 / 2017
João Paulo do Amaral de Jesus Rodrigues Paulo Alexandre Carreira Mateus Nikola Paunkovic Quantum oblivious transfer 3 / 2017
David João Barros Henriques Paulo Alexandre Carreira Mateus Formal Reasoning About Temporal Properties in Dynamic Stochastic Systems. 9 / 2016
João Ribeiro Carlos Eduardo Ramos dos Santos Lourenço Sistemas dinâmicos não lineares em instabilidade afectiva 7 / 2016
Manuel Biscaia Paulo Alexandre Carreira Mateus Interplay between Probabilistic and Temporal Reasoning 6 / 2016
Amaury Pouly Daniel da Silva Graça Olivier Bournez Continuous-time computation models: from computability to computational complexity 7 / 2015
José Faustino Santos Ana Gualdina Almeida Matos Tamara Rezk Enforcing Secure Information Flow in Client-Side Web Applications 12 / 2014
Bruno José Conchinha Montalto Carlos Manuel Costa Lourenço Caleiro David Basin Equivalence properties and probabilistic reasoning in symbolic security protocol analysis 6 / 2014
Maxime Emile Gamboni Carlos Manuel Costa Lourenço Caleiro António Maria Alarcão Ravara Models and Proof Methods for Information Protection 12 / 2010
Pedro Alexandre Cardoso Baltazar Paulo Alexandre Carreira Mateus Model Checking of Quantum Security Protocols 7 / 2010
S. Rosa Joaquim João de Alarcão Judice The Eigenvalue Complementarity Problem 10 / 2009
Ricardo João Rodrigues Gonçalves Carlos Manuel Costa Lourenço Caleiro Algebraizability of Quantum Logics 7 / 2008
Luís Filipe Silva Camacho Francisco Miguel Alves Campos de Sousa Dionísio Pedro Lopes Colorings of Knots versus Polynomial Invariants 7 / 2008
P. Tavares Joaquim João de Alarcão Judice Optimização de Gestão de Lamas de ETAR numa Perspectiva Regional 2 / 2008
Carlos Borges Lopes Amaro Fernandes de Sousa Dimensioning and Resource Management of Multi-Service Networks 11 / 2007
J. M. Patrício Joaquim João de Alarcão Judice Algoritmos de Pontos Interiores para Problemas Complementares Monótonos e suas Aplicações 4 / 2007
M. C. Brás Joaquim João de Alarcão Judice Problemas de Programação Matemática com Restrições Lineares de Equilíbrio e Aplicações 4 / 2007
Pedro Miguel dos Santos Alves Madeira Adão Paulo Alexandre Carreira Mateus Andre Scedrov Formal Methods for the Analysis of Security Protocols 12 / 2006
P. Monteiro Joaquim João de Alarcão Judice Optimization models for filtering in telecommunications 10 / 2006
I. Ribeiro Joaquim João de Alarcão Judice Global optimization and applications to structural engineering models 2 / 2005
L. M. Fernandes Joaquim João de Alarcão Judice Analysis of Complementarity Algorithms and Equilibrium Models 7 / 2002

Completed MSc Theses: 47

Student Supervisor Co-Supervisor Title End date
João de Araujo Correia Neto Lopes Ana Gualdina Almeida Matos Jan Gunnar Cederquist Verification of the back-end of an i-voting system 7 / 2019
Sofia Laura Nogueira da Costa Fernando Manuel Lourenço Martins Promoção da Literacia Estatística em contextos Interdisciplinares: uma experiência de ensino no 3.º ano de escolaridade 7 / 2019
André Baptista Neves Ribeiro Ana Gualdina Almeida Matos Jan Gunnar Cederquist Static analysis tool for JavaScript 6 / 2019
Raquel Sofia Delgado dos Santos Fernando Manuel Lourenço Martins O uso do Material Multibásico e das Representações na compreensão do Algoritmo Usual da Subtração 5 / 2019
Ana Maria Peixoto Alegre Marques Fernando Manuel Lourenço Martins A Modelação Matemática como Ambiente de Aprendizagem e o uso do Material Multibásico na Divisão Inteira: uma experiência de ensino no 3.º ano do 1.º CE 10 / 2018
Beatriz Abecasis Gomes Ferreira Jan Gunnar Cederquist Ana Gualdina Almeida Matos Resource-Centered Concurrency Control - Proving Type Safety 7 / 2018
Ricardo Jorge Pratas da Silva Fernando Manuel Lourenço Martins Modelação Matemática Como Ambiente de Aprendizagem: O Uso De Manipulativos Virtuais No Desenvolvimento Dos Sentidos Da Adição E Da Subtração 6 / 2018
João Pedro Carriço Beirão Alexandra Sofia Martins de Carvalho Paulo Alexandre Carreira Mateus Multivariate Correlations for Early Classification 5 / 2018
Margarida Nunes de Almeida Rodrigues de Sousa Alexandra Sofia Martins de Carvalho Mário Alexandre Teles de Figueiredo Advances in Probabilistic Graphical Models 12 / 2017
David António Sacadura de Melo Amaro Fernandes de Sousa Paulo Miguel Nepomuceno Pereira Monteiro Radio over Ethernet (RoE) based Fronthaul 12 / 2017
Rui Pedro Pimentel de Almeida Guerra Alexandra Sofia Martins de Carvalho Paulo Alexandre Carreira Mateus Model Selection for Clustering of Pharmacokinetic Responses with the Minimum Description Length 11 / 2017
Fernando Mário Machado Marques Ana Gualdina Almeida Matos Jan Gunnar Cederquist E-voting, on Fenix 9 / 2017
Soraia Filipa Moreira da Silva Fernando Manuel Lourenço Martins Filipe Manuel Batista Clemente Efeito de jogos lúdico-recreativos de cooperação-oposição no nível de atividade física e nas interações em crianças no 1ºCiclo do Ensino Básico 7 / 2017
Oriana Salomé Marques Ferreira Fernando Manuel Lourenço Martins Filipe Manuel Batista Clemente Efeito de jogos lúdico-recreativos de cooperação no nível da atividade física e nas interações em crianças no 1ºCiclo do Ensino Básico 7 / 2017
Andreia Sofia Pereira dos Santos Fernando Manuel Lourenço Martins Filipe Manuel Batista Clemente Comparação entre jogos de cooperação e jogos de cooperação-oposição ao nível da atividade física e da interação em crianças do 1º Ciclo do Ensino Básico 7 / 2017
Helga Cristina Oliveira Coelho Maria Cecília dos Santos Rosa Sistema de Gestão de Qualidade: Proposta para a Fundação Aurora Borges 10 / 2016
Bruno Filipe Guia de Sousa Pedro Miguel dos Santos Alves Madeira Adão João Carlos Serrenho Dias Pereira Keyword Based Framework for DLNA Acceptance Testing 11 / 2015
Rafael Vassalo Cortês Pedro Miguel dos Santos Alves Madeira Adão Luís Manuel Antunes Veiga CloudBox: Private, Reliable and Distributed Storage 11 / 2015
Rafael Farias Baltazar Pedro Miguel dos Santos Alves Madeira Adão João Carlos Serrenho Dias Pereira JMLCUTE: Automated JML-Based Unit Test Case Generation 11 / 2015
Miguel Abreu Malafaia Mendes Belo Pedro Miguel dos Santos Alves Madeira Adão Automation of Secrecy Proofs for Security of Protocols 11 / 2015
Tiago Ferreira Grade Dinis Trota Paulo Miguel Nepomuceno Pereira Monteiro Amaro Fernandes de Sousa Design and Optimization of Elastic Optical Networks 12 / 2013
Marco Ribeiro Paulo Miguel Nepomuceno Pereira Monteiro Amaro Fernandes de Sousa Optimization algorithms applied to Optical Transport Networks 12 / 2013
Pedro faria Carlos Eduardo Ramos dos Santos Lourenço Carlos Eduardo Ramos dos Santos Lourenço An Artificial Bidimensional Model for Bursting Behaviour in Neurons 9 / 2013
Manuel Nunes Farinha Correia Rego Pedro Miguel dos Santos Alves Madeira Adão Ricardo Jorge Fernandes Chaves Security and Privacy in Identification and Micro-Payment Systems 11 / 2012
Maria Ana Casal Cunha Pedro Miguel dos Santos Alves Madeira Adão João Carlos Serrenho Dias Pereira Integration and Support for Automatic Generation of Test Cases using AnyTestes Framework 11 / 2012
Anabela Sequeira Damas Amaro Fernandes de Sousa Aníbal Manuel de Oliveira Duarte Fiber based Access Networks: Planning and Cost Optimization 12 / 2011
Cristina Sofia Ramos dos Santos Luis Alberto da Silva Cruz Luis Miguel Merca Fernandes Coverage Optimization for 3D RFID-based Location 9 / 2011
João Miguel Barros Silva Mendes Pedro Miguel dos Santos Alves Madeira Adão Electronic Voting 6 / 2011
Elton Pedro Sixpence Pedro Miguel dos Santos Alves Madeira Adão Projecto de implementação de Testes Automatizados para a Aplicacão Web ISUPAC3 no ISUTC 12 / 2010
Jorge Miguel Saavedra dos Santos Oliveira Amaro Fernandes de Sousa Maximum Protection of Telecommunication Networks 12 / 2010
Nuno Gonçalo da Silva Lourenço Amaro Fernandes de Sousa Linux Solution for Backhaul of Mobile Networks using IP/MPLS 12 / 2010
Ana Francisca Carvalho de Almeida Sampaio e Melo Amaro Fernandes de Sousa Traffic Engineering of Ethernet Networks based on Spanning Trees 12 / 2009
João Carlos Cruz Borges Amaro Fernandes de Sousa Experimental Analysis of WiMAX and Meshed Wi-Fi Quality of Service 12 / 2009
Igor Alexandre Almeida Pais Amaro Fernandes de Sousa End User Behaviour and Performance Analysis in 3G Networks 12 / 2009
João Carlos Pereira Santos Amaro Fernandes de Sousa Resource Management of Telecommunication Networks based on Minimum Interference Routing 11 / 2009
Nuno Filipe Oliveira Novo Amaro Fernandes de Sousa Management of IP Multimedia Sessions using IM-SSF 6 / 2009
Pedro Miguel Rocha Matos Amaro Fernandes de Sousa Joaquim João Estrela Ribeiro Silvestre Madeira Traffic Engineering of Ethernet Networks based on PBB-TE 6 / 2009
Gonçalo Pereira Amaro Fernandes de Sousa Optimization Tool for Video on Demand Server Placement 12 / 2008
Lidia Elena da Costa dos Reis Paulo Jorge Salvador Serra Ferreira Amaro Fernandes de Sousa Medição e caracterização de tráfego tempo-real em redes IP 7 / 2008
Emanuel António Raimundo Moreira Amaro Fernandes de Sousa Survivable Routing on GMPLS over SDH Networks 11 / 2007
José Nuno Ferreira Maia Pereira Maria Paula Antunes Abrantes Gouveia Jaime Arsénio de Brito Ramos Abductive reasoning of agent specifications 10 / 2007
Daniel Correia Martins Amaro Fernandes de Sousa Aníbal Manuel de Oliveira Duarte QoS Network Design: a Decision Supporting System 7 / 2007
António Manuel Nunes Carvalho Amaral Amaro Fernandes de Sousa Multicast Routing on IP Networks 3 / 2006
C. Baptista Joaquim João de Alarcão Judice Solution of three global optimization problems arising in finance, hydraulics and telecommunications 2 / 2005
Luís Miguel Lopes de Oliveira Amaro Fernandes de Sousa Mobile IP on IPv4-IPv6 Transition Scenarios 7 / 2004
Jorge Patrão Amaro Fernandes de Sousa Dimensioning of MPLS Networks: Node and Link Optimization 12 / 2003
S. Rosa Joaquim João de Alarcão Judice Analysis and Numerical Solution of some Structural Optimization Problems 2 / 2002