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
  • Cargo

    Investigador Coordenador
  • Desde

    01 novembro 2011
  • Nacionalidade

    Portugal
  • Contactos

    +351253604440
    luis.s.barbosa@inesctec.pt
002
Publicações

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

2019

Deep learning powered question-answering framework for organizations digital transformation

Autores
Carvalho, NR; Barbosa, LS;

Publicação
ACM International Conference Proceeding Series

Abstract
In the context of digital transformation by governments, the public sector and other organizations, many information is moving to digital platforms. Chatbots and similar question-answering systems are becoming popular to answer information queries, opposed to browsing online repositories or webpages. State-of-the-art approaches for these systems may be laborious to implement, hard to train and maintain, and also require a high level of expertise. is work explores the definition of a generic framework to systematically build question-answering systems. A sandbox implementation of this framework enables the deployment of turnkey systems, directly from already existing collections of documents. ese systems can then be used to provide a question-answering system communication channel to enrich the organization digital presence. © 2019 Association for Computing Machinery.

2019

Generalising KAT to Verify Weighted Computations

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

Publicação
SCIENTIFIC ANNALS OF COMPUTER SCIENCE

Abstract
Kleene algebra with tests (KAT) was introduced as an algebraic structure to model and reason about classic imperative programs, i.e. sequences of discrete transitions guarded by Boolean tests. This paper introduces two generalisations of this structure able to express programs as weighted transitions and tests with outcomes in non necessarily bivalent truth spaces: graded Kleene algebra with tests (GKAT) and a variant where tests are also idempotent (I-GKAT). In this context, and in analogy to Kozen's encoding of Propositional Hoare Logic (PHL) in KAT we discuss the encoding of a graded PHL in I-GKAT and of its while-free fragment in GKAT. Moreover, to establish semantics for these structures four new algebras are defined: FSET(T), FREL(K,T) and FLANG(K,T) over complete residuated lattices K and T, and M (n, A) over a GKAT or I-GKAT A. As a final exercise, the paper discusses some program equivalence proofs in a graded context.

Teses
supervisionadas

2019

Foundations for quantum algorithms and complexity

Autor
Carlos Eduardo Teixeira Tavares

Instituição
UP-FCUP

2019

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

Autor
sara dos Santos Fernandes

Instituição
UP-FCUP

2019

On Quantum Bayesian Networks

Autor
Michael de Oliveira

Instituição
UM

2019

Integration of Time in a Quantum Process Algebra

Autor
Vítor Emanuel Gonçalves Fernandes

Instituição
UM

2019

Weighted Computations: semantics and program logics

Autor
Leandro Rafael Moreira Gomes

Instituição
UP-FCUP