Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
About

About

I am Full Professor at the Department of Informatics at the University of Minho, and senior researcher at the High Assurance Software Laboratory (HASLab INESC TEC). Since October 2016, I am also serving as Deputy Head of UNU-EGOV, the United Nations University Operational Unit on Policy-driven Electronic Governance (egov.unu.edu).

My research interests are focused on program semantics and calculi applied to systems understanding and rigorous software construction. I am particularly interested in coalgebra theory and conductive reasoning, as well as on modal and hybrid logics.

In recent years I coordinated four research projects at the national level, bilateral partnerships with Brazil and China, and served as the Portuguese coordinator for the Language Engineering and Rigorous Software Development ALFA EU-Latin America network, a PhD training network funded by the European Union. I have published five book chapters, 25 journal papers and more than 60 international conference papers. Having served as invited lecturer in MSc and PhD programmes at the Universities of Bristol (United Kingdom), Tartu (Estonia), and Peking (China), I have supervised several PhD projects (six concluded; four on-going). One of my students, Alexandre Madeira, received the 2013 IBM Scientific Prize, the biggest award in Informatics in Portugal.

I integrated the founding team of the Joint Doctoral Programme in Computer Science of the Universities of Minho, Aveiro, and Porto (MAP-i), and served as its Director. I am a member of IFIP WG1.3 (Foundations of System Specification), and, since January 2019, chair of IFIP Tecnhical Committee TC1 on Foundations of Computer Science.

Currently, I am leading the Quantum Software Engineering Research Group at INL, the International Iberian Nanotechnology Laboratory.

Interest
Topics
Details

Details

  • Name

    Luís Soares Barbosa
  • Cluster

    Computer Science
  • Role

    Research Coordinator
  • Since

    01st November 2011
003
Publications

2023

Paraconsistent Transition Systems

Authors
Cruz, A; Madeira, A; Barbosa, S;

Publication
Electronic Proceedings in Theoretical Computer Science, EPTCS

Abstract
Often in Software Engineering a modelling formalism has to support scenarios of inconsistency in which several requirements either reinforce or contradict each other. Paraconsistent transition systems are proposed in this paper as one such formalism: states evolve through two accessibility relations capturing weighted evidence of a transition or its absence, respectively. Their weights come from a specific residuated lattice. A category of these systems, and the corresponding algebra, is defined providing a formal setting to model different application scenarios. One of them, dealing with the effect of quantum decoherence in quantum programs, is used for illustration purposes. © Cruz, Madeira & Barbosa.

2023

Policy gradients using variational quantum circuits

Authors
Sequeira, A; Santos, LP; Barbosa, LS;

Publication
QUANTUM MACHINE INTELLIGENCE

Abstract
AbstractVariational quantum circuits are being used as versatile quantum machine learning models. Some empirical results exhibit an advantage in supervised and generative learning tasks. However, when applied to reinforcement learning, less is known. In this work, we considered a variational quantum circuit composed of a low-depth hardware-efficient ansatz as the parameterized policy of a reinforcement learning agent. We show that an

2022

Coalgebra for the working software engineer

Authors
Barbosa, LS;

Publication
FLAP

Abstract
Often referred to as ‘the mathematics of dynamical, state-based systems’, Coalgebra claims to provide a compositional and uniform framework to specify, analyse and reason about state and behaviour in computing. This paper addresses this claim by discussing why Coalgebra matters for the design of models and logics for computational phenomena. To a great extent, in this domain one is interested in properties that are preserved along the system’s evolution, the so-called ‘business rules’ or system’s invariants, as well as in liveness requirements, stating that e.g. some desirable outcome will be eventually produced. Both classes are examples of modal assertions, i.e. properties that are to be interpreted across a transition system capturing the system’s dynamics. The relevance of modal reasoning in computing is witnessed by the fact that most university syllabi in the area include some incursion into modal logic, in particular in its temporal variants. The novelty is that, as it happens with the notions of transition, behaviour, or observational equivalence, modalities in Coalgebra acquire a shape. That is, they become parametric on whatever type of behaviour, and corresponding coinduction scheme, seems appropriate for addressing the problem at hand. In this context, the paper revisits Coalgebra from a computational perspective, focussing on three topics central to software design: how systems are modelled, how models are composed, and finally, how properties of their behaviours can be expressed and verified. © 2022, College Publications. All rights reserved.

2022

A Logic for Paraconsistent Transition Systems

Authors
Cruz, A; Madeira, A; Barbosa, LS;

Publication
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Lódz, Poland, 14-18 March 2022.

Abstract

2022

A tribute to Jose Manuel Valenca

Authors
Oliveira, JN; Pinto, JS; Barbosa, LS; Henriques, PR;

Publication
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING

Abstract
The present Special Issue of the Journal of Logical and Algebraic Methods in Programming was planned as a tribute to Jose Manuel Esgalhado Valenca on the occasion of his Jubilation. A tribute to a professor, in the deepest sense of the word, a colleague and a friend, but above all to a long and inspiring academic journey that has so profoundly shaped the development of Informatics as a scientific area in Portugal. A scientific area that, as he taught us, needs to be understood broadly: not only as an independent research domain, but also as an educational pillar, a strategy for social and economic development, a foundation for a multifaceted professional career. This preface introduces some steps of such a journey. The Special Issue features a selection of scientific papers written by his collaborators, colleagues and friends, covering the different areas Jose Valenca helped to launch and consolidate in Portugal, namely computational logic, verification and mechanized reasoning, and information security. (c) 2022 Published by Elsevier Inc.

Supervised
thesis

2022

Quantum Reinforcement Learning: Foundations, algorithms, applications

Author
André Manuel Resende Sequeira

Institution
UM

2022

Quantum Bayesian Reinforcement Learning

Author
Gilberto Rui Nogueira Cunha

Institution
UM

2022

Dynamic fuzzy logics for quantum programs: Foundations and applications

Author
Manisha Jain

Institution
UA-UA

2022

Foundations for quantum algorithms and complexity

Author
Carlos Eduardo Teixeira Tavares

Institution
UM

2022

Weighted Computations: semantics and program logics

Author
Leandro Rafael Moreira Gomes

Institution
UP-FCUP