Departamento de Informática (UM)

Página institucional

683

N.Mec.NomeCategoriaGrupo Científico-PedagógicoContactosGabinete

683

Luís Manuel Dias Coelho Soares Barbosa

Prof. Catedrático

Lógica e Métodos Formais

E-mail
Ext.: +604463

E7-2.29

Qualificações: 1987 - Licenciatura em Engenharia de Sistemas e Informática (U. Minho); 1992 - PAPCC em Informática (U. Minho); 2001 - Doutoramento em Informática (U. Minho); 2016 - Agregação em Informática (U. Minho)

Página pessoal: http://www.di.uminho.pt/~lsb

Investigação

Centro

HASLab

Repositórios

ORCID | Scopus | DBLP

Publicações selecionadas

  • L. S. Barbosa: Coalgebra for the working software engineer. fCoLog Journal Logics and their Applications, 9(1): 41-92, 2022.
  • L. Gomes, A. Madeira, L. S. Barbosa: A semantics and a logic for Fuzzy Arden Syntax. Soft Comput., 25(9): 6789-6805, 2021.
  • J. Guimarães, C. Tavares, L. S. Barbosa, M. Vasilevskiy: Simulation of nonradiative energy transfer in photosynthetic systems using a quantum computer. Complex., 3510676:1-3510676:12, 2020.
  • L. Gomes, A. Madeira, L. S. Barbosa: Generalising KAT to verify weighted computations. Sci. Ann. Comput. Sc, 29(2): 141-184, 2019.
  • R. Neves, L. S. Barbosa: Languages and models for hybrid automata: A coalgebraic perspective. Theoretical Computer Science, Elsevier, 74, pp. 113-142, 2018.

Projetos

  • IBEX: "Quantitative methods for cyber-physical programming (co-PI), PTDC/CCI-COM/4280/2021, 2022-2024.
  • KLEE: "Coalgebraic modeling and analysis for computational synthetic biology", (PI), FCT Project 030947, 2018-21 (238K€)
  • SmartEGOV: "Harnessing EGOV for smart governance: Foundations and tools" (PI), P2020 NORTE-45-2015-23, 2016-20 (4.5M€)

Docência

Regências:

Aulas:

Serviço

  • Director do Dep. Informática da EEUM (2022-), tendo-o sido antes (2010–2012) e também Director-Adjunto (2002–2010)
  • Director-Adjunto da United Nations University Operational Unit on Policy-drive Electronic Governance (UNU-EGOV), desde 2017.
  • Investigador no Quantum and Linear-Optical Computation Research Group do INL (International Iberian Nanotechnology Laboratory)
  • Orientação de 5 post-doutoramentos, 18 doutoramentos (7 em curos) e diversos mestrados na área da semântica, modelação e cálculos de arquitecturas de software e sistemas reactivos
  • Coordenador do IFIP TC1 Technical Committee - "Foundations of Computer Science" e membro do IFIP WG 1.3

[ Quadro de todo o pessoal do DIUM ]