Luís Soares Barbosa

Supervision
Current

PD

Alexandre Madeira

Post-doc on dynamic logics on-demand (FCT post-doc grant).

since July 2015.

PD

José Proença

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

since February 2013.

PD

Nuno Carvalho

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

since February 2015.

PhD

Leandro Gomes

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

since September 2016.

PhD

Daniel Figueiredo

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

since September 2016.

PhD

Carlos Tavares

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

since October 2015.

PhD

Renato Neves

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

since April 2014.

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

since April 2014.

PhD

Sara Fernandes

on Peer-production and technology-enhanced collaborative teaching and learning, co-supervision with Antonio Cerone, Nazarbayev University, Russia, and University of Pisa, Italy.

since September 2012.

PhD

Alejandro Sánchez

on A calculus of architectural patterns, co-supervision with Daniel Riesco, Universidad Nacional de San Luis, Argentina (external PhD student).

since March 2009.

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

since February 2018.
Past

PD

Alexandre Madeira

Post-doc on logics for robotics (NORTE-07-0124-FEDER-000060 post-doc grant).

2013 - 2015.

PD

Alexandra Silva

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

2011 - 2012.

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

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.