Master

Currently supervising the following master students:

(1)   Tomás Silva, “BSecur: Blockchain Interoperability Security On Heterogeneous Infrastructure”, Master in Computer Science and Engineering, Instituto Superior Técnico, Universidade de Lisboa, estimated date of completion: May 2026.

(2)   Joakim Teixeira de Azevedo, “EAJ: Enterprise Reference Architectures for the Portuguese Justice sector”, Master in Computer Science and Engineering, Instituto Superior Técnico, Universidade de Lisboa, estimated date of completion: May 2026.

(3)   Elizandro Macedo Secretário Sangula, “GenEA: Generative Enterprise Architectures principles”, Master in Computer Science and Engineering, Instituto Superior Técnico, Universidade de Lisboa, estimated date of completion: May 2026.

(4)   Edson Fernando Cabral da Veiga, “DPP: Digital Product Passport”, Master in Computer Science and Engineering, Instituto Superior Técnico, Universidade de Lisboa, estimated date of completion: May 2026.

(5)   Guilherme Costa Bandeira Marcondes, “Interoperable Digital Currencies: Blockchain Ontology Framework for CBDCs Interoperability”, Master in Computer Science and Engineering, Instituto Superior Técnico, Universidade de Lisboa, estimated date of completion: October 2026.

(6)   Ana Sá, “IChainGov: Governance Protocols in Blockchain Interoperability Mechanisms”, Master in Computer Science and Engineering, Instituto Superior Técnico, Universidade de Lisboa, estimated date of completion: October 2026.

(7)   Artur Martins, “InteropPatterns: A Data-Driven Analysis of Interoperability Protocols and Cross-Chain Transaction Patterns”, Master in Computer Science and Engineering, Instituto Superior Técnico, Universidade de Lisboa, estimated date of completion: October 2026.

(8)   Rafael Ribeiro, “Anomaly: A sigNature-based intrusiOn detection systeM for blockchAin interoperabiLitY protocols”, Master in Computer Science and Engineering, Instituto Superior Técnico, Universidade de Lisboa, estimated date of completion: October 2026.

(9)   José Maria Gil de Borja Sacadura e Menezes, “Optigov: Leveraging AI for Process Efficiency in Public Administration”, Master in Computer Science and Engineering, Instituto Superior Técnico, Universidade de Lisboa, estimated date of completion: October 2026.

(10)                 Sofia Correia Simas, “EA-gpt: using LLMs for Enterprise Architecture models' Generation from Principles and Text”, Master in Computer Science and Engineering, Instituto Superior Técnico, Universidade de Lisboa, estimated date of completion: October 2026.

(11)                 Tomás Duarte Marques, “IAVal: Inteligent enterprise Architectures eVAluation”, Master in Computer Science and Engineering, Instituto Superior Técnico, Universidade de Lisboa, estimated date of completion: October 2026.

(12)                 Pedro Barreira Tavares, “DI-Swallet: EU Digital Identity Server-side WALLET architecture”, Master in Computer Science and Engineering, Instituto Superior Técnico, Universidade de Lisboa, estimated date of completion: October 2026.

(13)                 Miguel Raposo, “Sistema baseado em DLT para Negociação de Ativos Financeiros - Negociação”, Master in Computer Science and Engineering, Instituto Superior Técnico, Universidade de Lisboa, estimated date of completion: October 2026.

(14)                 Gonçalo Alves, “Anomaly2: An aNOMaly-bAsed intrusion detection system for bLockchain interoperabilitY protocols”, Master in Computer Science and Engineering, Instituto Superior Técnico, Universidade de Lisboa, estimated date of completion: October 2026.

(15)                 Daniel Carvalho, “From Natural Language to Automated Weakness Detection in Infrastructure as Code”, Master in Computer Science and Engineering, Instituto Superior Técnico, Universidade de Lisboa, estimated date of completion: October 2026.

(16)                 Pedro Ribeiro, “Verified Cloud Controllers at Scale: Advancing Anvil with Richer Properties and Lower Proof Effort”, Master in Computer Science and Engineering, Instituto Superior Técnico, Universidade de Lisboa, estimated date of completion: October 2026.

(17)                 Diogo Rodrigues, “Sistema baseado em DLT 2 para Negociação de Ativos Financeiros   - Liquidação”, Master in Computer Science and Engineering, Instituto Superior Técnico, Universidade de Lisboa, estimated date of completion: October 2026.