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
Download Photo HD

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
002
Publications

2021

Fuzzy Automata as Coalgebras

Authors
Liu, A; Wang, S; Barbosa, LS; Sun, M;

Publication
MATHEMATICS

Abstract
The coalgebraic method is of great significance to research in process algebra, modal logic, object-oriented design and component-based software engineering. In recent years, fuzzy control has been widely used in many fields, such as handwriting recognition and the control of robots or air conditioners. It is then an interesting topic to analyze the behavior of fuzzy automata from a coalgebraic point of view. This paper models different types of fuzzy automata as coalgebras with a monad structure capturing fuzzy behavior. Based on the coalgebraic models, we can define a notion of fuzzy language and consider several versions of bisimulation for fuzzy automata. A group of combinators is defined to compose fuzzy automata of two branches: state transition and output function. A case study illustrates the coalgebraic models proposed and their composition.

2021

Generalised Quantum Tree Search

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

Publication
2nd IEEE/ACM International Workshop on Quantum Software Engineering, Q-SE@ICSE 2021, Madrid, Spain, June 1-2, 2021

Abstract

2021

Quantum Tree-Based Planning

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

Publication
IEEE ACCESS

Abstract
Reinforcement Learning is at the core of a recent revolution in Artificial Intelligence. Simultaneously, we are witnessing the emergence of a new field: Quantum Machine Learning. In the context of these two major developments, this work addresses the interplay between Quantum Computing and Reinforcement Learning. Learning by interaction is possible in the quantum setting using the concept of oraculization of environments. The paper extends previous oracular instances to address more general stochastic environments. In this setting, we developed a novel quantum algorithm for near-optimal decision-making based on the Reinforcement Learning paradigm known as Sparse Sampling. The proposed algorithm exhibits a quadratic speedup compared to its classical counterpart. To the best of the authors' knowledge, this is the first quantum planning algorithm exhibiting a time complexity independent of the number of states of the environment, which makes it suitable for large state space environments, where planning is otherwise intractable.

2021

Quantum Tree-Based Planning

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

Publication
IEEE Access

Abstract

2020

A component-based framework for certification of components in a cloud of HPC services

Authors
de Oliveira Dantas, ABD; de Carvalho Junior, FH; Barbosa, LS;

Publication
Science of Computer Programming

Abstract
HPC Shelf is a proposal of a cloud computing platform to provide component-oriented services for High Performance Computing (HPC) applications. This paper presents a Verification-as-a-Service (VaaS) framework for component certification on HPC Shelf. Certification is aimed at providing higher confidence that components of parallel computing systems of HPC Shelf behave as expected according to one or more requirements expressed in their contracts. To this end, new abstractions are introduced, starting with certifier components. They are designed to inspect other components and verify them for different types of functional, non-functional and behavioral requirements. The certification framework is naturally based on parallel computing techniques to speed up verification tasks. © 2019

Supervised
thesis

2020

Foundations for quantum algorithms and complexity

Author
Carlos Eduardo Teixeira Tavares

Institution
UP-FCUP

2020

Weighted Computations: semantics and program logics

Author
Leandro Rafael Moreira Gomes

Institution
UP-FCUP

2020

Timing Constraints in Quantum Programming Languages

Author
Vítor Emanuel Gonçalves Fernandes

Institution
UM

2020

Flexible Molecular Alignment - An Industrial case study on Quantum algorithmic techniques

Author
Marta Sofia Saraiva Oliveira

Institution
UM

2020

Combining paraconsistent and dynamic logic for Qiskit

Author
Bernardo Almeida Leite Faria

Institution
UM