Orientações
Doutoramento (PhD)
Ivan Silva
(em curso)
“Privacy-preserving Artificial Intelligence with Hybrid Homomorphic Encryption”. Orientação conjunta com Ivone Amorim e Isabel Praça.
Ivone Amorim
(2016)
“Linear Finite Transducers Towards a Public Key Cryptographic
System”. Orientação conjunta com António Machiavelo.
System”. Orientação conjunta com António Machiavelo.
Eva Maia
(2016)
“On the Descriptional Complexity of Some Operations and Simulations of Regular Models”. Orientação conjunta com Nelma Moreira.
Marco Almeida
(2011)
"Equivalence of regular languages: an algorithmic approach and complexity analysis". Orientação conjunta com Nelma Moreira
Mestrado (MSc)
Claudia Maia
(em curso)
“Quaternions Based Post Quantum Encryption Encription“. Mestrado em Engenharia Matemática. Orientação conjunta com António Machiavelo.
Guilherme Duarte
(em curso)
“Short Representations for Block Languages“. Mestrado Ciência de Computadores. Orientação conjunta com Nelma Moreira.
Hugo Tavares
(em curso)
“ Metaheuristics for finite automata minimization“. Mestrado Ciência de Computadores. Orientação conjunta com João Pedro Pedroso.
Ivan Silva
(2022)
“Fully Homomorphic Encryption“. Mestrado em Engenharia Matemática. Orientação conjunta com António Machiavelo.
Guilherme Martins
(2022)
“A Simulated Annealing Approach to Cryptogram Classification“. Mestrado em Segurança Informática. Orientação conjunta com António Machiavelo.
David Silva
(2021)
“Portal de Validação de Documentos Assinados“. Mestrado em Segurança Informática.
Miguel Ferreira
(2018)
“Significant Classes of NFA and their Random Generation“. Mestrado em Ciência de Computadores. Orientação conjunta com Nelma Moreira.
João Grifo Pires
(218)
"Transducers and 2D Regular Expressions". Mestrado em Ciência de computadores, FCUP. Orientação conjunta com Nelma Moreira.
Joana Vieira
(2017)
“Finite Transducers in Public Key Cryptography“. Mestrado em Segurança Informática, FCUP. Orientação conjunta com Ivone Amorim.
Rafaela Bastos
(2015)
“Manipulation of Extended Regular Expression with Derivatives“. Mestrado em Ciência de Computadores, FCUP. Orientação conjunta com Nelma Moreira.
Tiago Santos
(2014)
"Cellular Automata and Cryptography". Mestrado em Ciência de Computadores, FCUP. Orientação conjunta com António Machiavelo.
Davide Nabais
(2013)
"DesCo: a Knowledge Based System for Descriptional Complexity of Formal Languages". Mestrado em Ciência de Computadores, FCUP. Orientação conjunta com Nelma Moreira.
Nuno Gaspar
(2010)
"Timing Analysis — From Predictions to certificates". Mestrado em Engenharia Informática, UBI, Orientação conjunta com Simão Melo Sousa.
José Alves
(2010)
"An Interactive System for Automata Manipulations". Mestrado em Ciência de Computadores, FCUP. Orientação conjunta com Nelma Moreira.
André Almeida
(2010)
"Towards Automata Diagram Drawings". Mestrado em Ciência de Computadores, FCUP. Orientação conjunta com Nelma Moreira.
Eva Maia
(2010)
"Inferência de tipos em Python". Mestrado em Ciência de Computadores, FCUP. Orientação conjunta com Nelma Moreira.
José Borges
(2009)
"Crivo Quadrático". Mestrado em Engenharia Matemática, FCUP. Orientação conjunta com António Machiavelo.
Bruno Cacheira
(2009)
"Infrastrutura de chaves públicas". Mestrado em Informática, FCUP.
Ivone Amorim
(2009)
"Criptografia com curvas elípticas". Mestrado em Engenharia Matemática, FCUP. Orientação conjunta com António Machiavelo.
Alexandra Queirós
(2009)
"Votações Electrónicas e a Cifra de Paillier". Mestrado em Engenharia Matemática, FCUP. Orientação conjunta com António Machiavelo.
João Mendes
(2008)
"Nosy: Um Simulador para Análise de Protocolos de Rede". Mestrado em Informática, FCUP.
Bruno Ribeiro
(2007)
"A criptanálise da Enigma: 1932-1939". Mestrado em Engenharia Matemática, FCUP. Orientação conjunta com António Machiavelo.
Dora Melo
(2006)
"Ferramentas para Determinação e Avaliação de Soluções em Problemas de Horários". Mestrado em Informática, FCUP. Orientação conjunta com João Pedroso e Nelma Moreira.
Sónia Sousa
(2005)
"AGISA - Ambiente de Gestão Integrado da Salade Aula". Mestrado em Informática, FCUP. Orientação conjunta com Luís Damas.
João Morais
(2004)
"Obtenção de expressões regulares pequenas a partir de autómatos finitos". Mestrado em Informática, FCUP. Orientação conjunta com Nelma Moreira.
Carmen Lima
(1999)
"Um sistema de ”mirroring”de FTP e HTTP que optimiza recursos usando uma estratégia de avaliação retardada". Mestrado em Ciéncia de Computadores, FCUP. Orientação conjunta com Luís Damas
Última modificação: 18/04/2024