Cookies
Usamos cookies para melhorar nosso site e a sua experiência. Ao continuar a navegar no site, você aceita a nossa política de cookies. Ver mais
Aceitar Rejeitar
  • Menu
Sobre
Download foto HD

Sobre

Sou Professor Catedrático no Departamento de Informática da Universidade do Minho, e investigador sénior no High Assurance Software Laboratory (HASLab INESC TEC). Desde Outubro de 2016, sou Director Adunto da UNU-EGOV, a Operational Unit on Policy-driven Electronic Governance da Universidade das Nações Unidas (egov.unu.edu).

Os meus interesses de investigação estão focados na semântica do fenómeno computacional e no desenvolvimento de cálculos de programs aplicados à compreensão de sistemas e à concepção de software. Estou particularmente interessado em teoria das coálgebras e raciocínio coindutivo, assim como em lógicas modais e híbridas.

Nos últimos anos coordenei quatro projectos de investigação a nível nacional, parcerias bilaterais com o Brasil e China, e fui coordenador no lado português de uma rede ALFA (Europa - América Latina) para formação doutoral. Sou autor de cinco capítulos de livro,  25 artigos em revistas indexadas, e mais de 60 artigos em conferências internacionais. Tendo lecionado em curso de Mestrado e Programas Doutorais nas Universidades de Bristol (Reino Unido), Tartu (Estónia), e Pequim (China), orientei igualmente diversos projectos de doutoramento (seis concluídos; quatro em curso). Um dos meus orientando,  Alexandre Madeira, recebeu o Prémio Científico IBM para 2013, o mais importante prémio científico em Informática em Portugal.

Integrei, por nomeação reitoral,  o grupo que concebeu e implementou o "Joint Doctoral Programme in Computer Science of the Universities of Minho, Aveiro, and Porto" (MAP-i), tendo mais tarde servido como seu director. Sou membro do IFIP WG1.3 (Foundations of System Specification), e, desde Janeiro 2019, coordenador do IFIP Tecnhical Committee TC1 on Foundations of Computer Science.

Actualmente coordeno o Quantum Software Engineering Research Group no INL, o International Iberian Nanotechnology Laboratoryf.

Tópicos
de interesse
Detalhes

Detalhes

  • Nome

    Luís Soares Barbosa
  • Cluster

    Informática
  • Cargo

    Investigador Coordenador
  • Desde

    01 novembro 2011
002
Publicações

2021

Fuzzy Automata as Coalgebras

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

Publicação
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.

2020

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

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

Publicação
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

2020

Introducing Synchrony in Fuzzy Automata

Autores
Gomes, L; Madeira, A; Barbosa, LS;

Publicação
Electronic Notes in Theoretical Computer Science

Abstract

2020

Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings

Autores
Barbosa, LS; Baltag, A;

Publicação
DaLí

Abstract

2020

Simulation of Nonradiative Energy Transfer in Photosynthetic Systems Using a Quantum Computer

Autores
Guimaraes, JD; Tavares, C; Barbosa, LS; Vasilevskiy, MI;

Publicação
Complexity

Abstract
Photosynthesis is an important and complex physical process in nature, whose comprehensive understanding would have many relevant industrial applications, for instance, in the field of energy production. In this paper, we propose a quantum algorithm for the simulation of the excitonic transport of energy, occurring in the first stage of the process of photosynthesis. The algorithm takes in account the quantum and environmental effects (pure dephasing), influencing the quantum transport. We performed quantum simulations of such phenomena, for a proof of concept scenario, in an actual quantum computer, IBM Q, of 5 qubits. We validate the results with the Haken-Ströbl model and discuss the influence of environmental parameters on the efficiency of the energy transport.

Teses
supervisionadas

2020

Weighted Computations: semantics and program logics

Autor
Leandro Rafael Moreira Gomes

Instituição
UP-FCUP

2020

Timing Constraints in Quantum Programming Languages

Autor
Vítor Emanuel Gonçalves Fernandes

Instituição
UM

2020

Combining paraconsistent and dynamic logic for Qiskit

Autor
Bernardo Almeida Leite Faria

Instituição
UM

2020

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

Autor
Marta Sofia Saraiva Oliveira

Instituição
UM

2020

Peer-production and Technology-enhanced Collaborative Teaching and Learning (Models, Methods and Framework)

Autor
sara dos Santos Fernandes

Instituição
UP-FCUP