PhD
on "Learning open quantum systems using machine learning", co-supervision with Ernesto Galvão and Raffaele Santagati.
PhD
on "Quantum walks on directed and oriented graphs", co-supervision with Bruno Chagas.
PhD
on "Quantum reinforcement learning: Foundations, algorithms and applications", co-supervision with Luís Paulo Santos.
PhD
on "Dynamic fuzzy logics for quantum programs: Foundations and applications", co-supervision with Alexandre Madeira e Alexandru Baltag.
PhD
on "Investigation of quantum effects in the energy and charge transport in photosynthetic systems by means of quantum simulations", co-supervision with Mikhail Vasilevskiy.
PhD
on "Quantum Assisted Secure Multi-PartyComputation", co-supervision with Armando Pinto.
PhD
on "Timing Constraints in Quantum Programming Languages", co-supervision with Renato Neves and Benoit Valiron.
PhD
on "Time-structure in measurement-based quantum computing", co-supervision with Ernesto Galvão.
MSc
on "Robustness of quantum walk speed-ups in dynamical graphs" (co-supervision with Leonardo Novo).
MSc
MSc
MSc
on "An Interpreter for a Concurrent Quantum Language" (co-supervision with Renato Neves).
MSc
on "Comparative study of various machine learning mechanisms on different spatial data and their efficacy in understanding urban dynamics" (co-supervision with Moinul Zaber, UNU-EGOV).
MSc
on "Bayesian structure learning with quantum resources" (co-supervision with Michael Oliveira and André Sequeira).
PD
Post-doc on hybrid programming semantics and reasoning (KLEE post-doc grant).
PD
PD
Post-doc on modelling and validation of normative text (UNU post-doc grant).
PD
Post-doc on logics for robotics, NORTE-07-0124-FEDER-000060 post-doc grant, 2013 - 2015.
Post-doc on dynamic logics on-demand, FCT post-doc grant, 2015 - 2019.
PD
Post-doc on coinductive calculi of regular expressions (FCT post-doc grant).
PhD
on "Foundations for quantum algorithms and complexity" (FCT grant).
PhD
on "Weighted computations: Semantics and program logics", co-supervision with Alexandre Madeira.
PhD
on "Logic foundations and computational tools for synthetic biology", co-supervision with Manuel Martins, Maths Department, Aveiro University (FCT grant).
PhD
on A virtual factory for smart city service integration, co-supervision with Elsa Estevez, Universidad Nacional de la Plata, Argentina (FCT grant)
PhD
on Hybrid Programs, co-supervision with Manuel Martins, Maths Department, Aveiro University (FCT grant)
PhD
PhD
on Foundations and techniques for software reconfigurability (Awarded the IBM Scientific Prize for 2013), co-supervision with Manuel Martins (Maths Department, Aveiro University).
PhD
on Algorithmic problem solving: Principles and applications, co-supervision with Roland Backhouse, University of Nothingham.
PhD
on Specification and refinement of software connectors.
PhD
on Slicing techniques applied to architectural analysis of legacy software.
PhD
on Coalgebra theory and its application to component software, co-supervision with Zhang Naixiao (Peking University (School of Mathematical Sciences) and Berhnard Aichernig (IIST/UNU, Macau).
MSc
on "Quantum Bayesian Reinforcement Learning" (co-supervision with Michael Oliveira and André Sequeira).
MSc
on "Exploring paraconsistent logics for quantum programs" (co-supervision with Alexandre Madeira).
MSc
on "Combining paraconsistent and dynamic logic for Qiskit" (co-supervision with Alexandre Madeira).
MSc
on "Regular expressions for timed automata" (co-supervision with Renato Neves).
MSc
MSc
on "Quantum-enhanced reinforcement learning" (co-supervision with Luís Paulo Santos).
MSc
on "Flexible molecular alignment: An industrial case study on quantum algorithmic techniques" (in cooperation with BIAL).
MSc
on "Simulation of Quantum Biology: Quantum simulation of photosynthesis" (co-supervision with Carlos Tavares).
MSc
on "Integration of time in a quantum process algebra" (co-supervision with Renato Neves).
MSc
on "Quantum Bayesian networks" (Grant holder from the Calouste Gulbenkian Foundation "New Talents in Quantum Technologies" Programme).
MSc
on "Validation of quantum simulations", co-supervision with Carlos Tavares, (Grant holder from the Calouste Gulbenkian Foundation "New Talents in Quantum Technologies" Programme).
MSc
on A framework for architectural design and simulation of hybrid systems, co-supervision with Renato Neves (UMinho).
MSc
on Validation of IEC 61131-3 programmable logical controllers in KeYmaera, co-supervision with Alexandre Madeira (UMinho).
MSc
on An engine for coordination-based architectural reconfigurations, co-supervision with Nuno Oliveira (UMinho).
MSc
MSc
MSc
on An extended proof obligations generator for VMD++/OML, co-supervision with Peter Gorm Larsen (Aarhus).
MSc
on Connecting VDM++ and JML., co-supervision with Peter Gorm Larsen (Aarhus).
MSc
on Combinatorial Test Automation Support for VDM++, co-supervision with Peter Gorm Larsen (Aarhus).
MSc
on Formal specification of an object-oriented framework for control systems design
MSc
on Coinductive programming: Calculi and applications.