Departamento de Informática (UM)

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", PTDC/CCI-COM/4280/2021, 2022-2024. ( Co-PI )
• KLEE: "Coalgebraic modeling and analysis for computational synthetic biology", FCT Project 030947, 2018-21 (238K€) ( PI )
• SmartEGOV: "Harnessing EGOV for smart governance: Foundations and tools", P2020 NORTE-45-2015-23, 2016-20 (4.5M€) ( PI )

Docência

Regências:

• Computação Quântica (Mestrado em Engenharia Física - Física da Informação)
• Interação e Concorrência (CCOM)
• Lógica Quântica (Mestrado em Engenharia Física - Física da Informação)
• Programação e Algoritmia (ENGAERO)

Aulas:

• Interação e Concorrência [8506O7]: turno T 1
• Computação Quântica [ME80ME8002006771]: turno T 1
• Lógica Quântica [ME80ME8002006774]: turno T 1

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