Luís Soares Barbosa

Supervision
Current

PhD

Antonio Ruiz Molero

on "Learning open quantum systems using machine learning", co-supervision with Ernesto Galvão and Raffaele Santagati.

since October 2021.

PhD

Manisha Jain

on "Dynamic fuzzy logics for quantum programs: Foundations and applications", co-supervision with Alexandre Madeira e Alexandru Baltag.

since February 2021.

PhD

José Diogo Guimarães

on "Investigation of quantum effects in the energy and charge transport in photosynthetic systems by means of quantum simulations", co-supervision with Mikhail Vasilevskiy.

since February 2021.

PhD

Zeinab Rahmani

on "Quantum Assisted Secure Multi-PartyComputation", co-supervision with Armando Pinto.

since February 2021.

PhD

Vitor Fernandes

on "Timing Constraints in Quantum Programming Languages", co-supervision with Renato Neves and Benoit Valiron.

since September 2020.

PhD

Michael Oliveira

on "Time-structure in measurement-based quantum computing", co-supervision with Ernesto Galvão.

since September 2020.

PhD

Leandro Gomes

on "Contracts on-demand", co-supervision with Alexandre Madeira.

since September 2016.

PhD

Carlos Tavares

on "Foundations for quantum algorithms and complexity" (FCT grant).

since October 2015.

MSc

José Luis Antunes Martins

on "Bayesian structure learning with quantum resources" (co-supervision with Michael Oliveira and André Sequeira).

since September 2021.

MSc

Gilberto Rui Nogueira Cunha

on "Quantum Bayesian Reinforcement Learning" (co-supervision with Michael Oliveira and André Sequeira).

since September 2021.

MSc

Ana Cruz

on "Exploring paraconsistent logics for quantum programs" (co-supervision with Alexandre Madeira).

since November 2019.
Past

PD

Renato Neves

Post-doc on hybrid programming semantics and reasoning (KLEE post-doc grant).

2018 - 2021.

PD

José Proença

Post-doc on adpatable coordination (FCT post-doc grant).

2013 - 2019.

PD

Nuno Carvalho

Post-doc on modelling and validation of normative text (UNU post-doc grant).

2015 - 2019.

PD

Alexandre Madeira

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.

2013 - 2015 - 2019.

PD

Alexandra Silva

Post-doc on coinductive calculi of regular expressions (FCT post-doc grant).

2011 - 2012.

PhD

Daniel Figueiredo

on "Logic foundations and computational tools for synthetic biology", co-supervision with Manuel Martins, Maths Department, Aveiro University (FCT grant).

concluded on 15.02.2020.

PhD

Maria Guillermina Cledou

on A virtual factory for smart city service integration, co-supervision with Elsa Estevez, Universidad Nacional de la Plata, Argentina (FCT grant)

concluded on 12.11.2018.

PhD

Renato Neves

on Hybrid Programs, co-supervision with Manuel Martins, Maths Department, Aveiro University (FCT grant)

concluded on 22.06.2018.

PhD

Nuno Oliveira

on Architectural reconfiguration of interacting services.

concluded on 10.03.2015.

PhD

Alexandre Madeira

on Foundations and techniques for software reconfigurability (Awarded the IBM Scientific Prize for 2013), co-supervision with Manuel Martins (Maths Department, Aveiro University).

concluded on 08.07.2013.

PhD

João Fernando Peixoto Ferreira

on Algorithmic problem solving: Principles and applications, co-supervision with Roland Backhouse, University of Nothingham.

concluded on 05.11.2010.

PhD

Marco Castro Barbosa

on Specification and refinement of software connectors.

concluded on 07.09.2009.

PhD

Nuno Feixa Rodrigues

on Slicing techniques applied to architectural analysis of legacy software.

concluded on 09.02.2009.

PhD

Sun Meng

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).

concluded 2004.

MSc

Bernardo Faria

on "Combining paraconsistent and dynamic logic for Qiskit" (co-supervision with Alexandre Madeira).

conluded on 20.10.2021.

MSc

Paulo Ribeiro

on "Regular expressions for timed automata" (co-supervision with Renato Neves).

concluded on 20.10.2021.

MSc

Jaime Santos

on "Quantum random walks" (co-supervision with Bruno Chagas).

conluded on 20.09.2021.

MSc

André Sequeira

on "Quantum-enhanced reinforcement learning" (co-supervision with Luís Paulo Santos).

concluded on 14.01.2021.

MSc

Sofia Oliveira

on "Flexible molecular alignment: An industrial case study on quantum algorithmic techniques" (in cooperation with BIAL).

concluded on 29.07.2020.

MSc

José Diogo Guimarães

on "Simulation of Quantum Biology: Quantum simulation of photosynthesis" (co-supervision with Carlos Tavares).

concluded on 06.07.2020.

MSc

Vítor Fernandes

on "Integration of time in a quantum process algebra" (co-supervision with Renato Neves).

concluded on 20.12.2019.

MSc

Michael Oliveira

on "Quantum Bayesian networks" (Grant holder from the Calouste Gulbenkian Foundation "New Talents in Quantum Technologies" Programme).

concluded on 18.12.2019.

MSc

Afonso Rodrigues

on "Validation of quantum simulations", co-supervision with Carlos Tavares, (Grant holder from the Calouste Gulbenkian Foundation "New Talents in Quantum Technologies" Programme).

concluded on 05.11.2018.

MSc

Tiago Loureiro.

on A framework for architectural design and simulation of hybrid systems, co-supervision with Renato Neves (UMinho).

concluded on 24.02.2017.

MSc

Yoan Ribeiro.

on Validation of IEC 61131-3 programmable logical controllers in KeYmaera, co-supervision with Alexandre Madeira (UMinho).

concluded on 10.12.2015.

MSc

Flávio Rodrigues.

on An engine for coordination-based architectural reconfigurations, co-supervision with Nuno Oliveira (UMinho).

concluded on 10.12.2015.

MSc

Renato Neves.

on Proof support for hybrid logic.

concluded on 27.09.2013.

MSc

André Martins.

on An animator for the component calculus.

concluded on 13.12.2011.

MSc

Augusto Ribeiro.

on An extended proof obligations generator for VMD++/OML, co-supervision with Peter Gorm Larsen (Aarhus).

concluded on 21.06.2008.

MSc

Carlos Vilhena.

on Connecting VDM++ and JML., co-supervision with Peter Gorm Larsen (Aarhus).

concluded on 21.06.2008.

MSc

Adriana Sucena.

on Combinatorial Test Automation Support for VDM++, co-supervision with Peter Gorm Larsen (Aarhus).

concluded on 21.06.2008.

MSc

David Rodrigues Sora.

on Formal specification of an object-oriented framework for control systems design

concluded on 07.12.2007.

MSc

Paula Cristina Soares Ribeiro.

on Coinductive programming: Calculi and applications.

concluded on 16.03.2006.