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

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

2022

Coalgebra for the working software engineer

Autores
Barbosa, LS;

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

Autores
Cruz, A; Madeira, A; Barbosa, LS;

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

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

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

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 2021)

Abstract

Teses
supervisionadas

2021

Quantum Reinforcement Learning: Foundations, algorithms, applications

Autor
André Manuel Resende Sequeira

Instituição
UM

2021

Evolving Dispatching Rules for Collaborative Environments throughGenetic Programming

Autor
Rafael Hora Lopes

Instituição
UP-FEUP

2021

Providing Flexibility in Distribution Systems by Electric Vehicles and Distributed Energy Resources in the Context of Technical Virtual Power Plants

Autor
Pedro Miguel de Carvalho Pereira

Instituição
UP-FEUP

2021

Weighted Computations: semantics and program logics

Autor
Leandro Rafael Moreira Gomes

Instituição
UP-FCUP

2021

Combining paraconsistent and dynamic logic for Qiskit

Autor
Bernardo Almeida Leite Faria

Instituição
UM