Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. 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
003
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.

2021

Towards a specification theory for fuzzy modal logic

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

Publicação
2021 International Symposium on Theoretical Aspects of Software Engineering (TASE)

Abstract

2021

Generalised Quantum Tree Search

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

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

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

Publicação
IEEE Access

Abstract

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

Teses
supervisionadas

2021

Foundations for quantum algorithms and complexity

Autor
Carlos Eduardo Teixeira Tavares

Instituição
UM

2021

Continuous-time Quantum Walks

Autor
Jaime Pereira Santos

Instituição
UM

2021

Quantum Reinforcement Learning: Foundations, algorithms, applications

Autor
André Manuel Resende Sequeira

Instituição
UM

2021

Quantum Random Walks

Autor
Jaime Pereira Santos

Instituição
UM

2021

Weighted Computations: semantics and program logics

Autor
Leandro Rafael Moreira Gomes

Instituição
UP-FCUP