
Luís Soares Barbosa
Group Leader
Quantum Software Engineering
Luís Soares Barbosa is Group Leader of the Quantum Software Engineering (QSE) group in the Department of Quantum Materials, Science and Technology at INL, and full professor of Computer Science at the University of Minho. He is also affiliated with the HASLab research unit of INESC TEC.
His main research focuses on program semantics, logics and calculi applied to rigorous software analysis, design, and construction. In particular, he is interested in the architectural dimension (interaction, composition, and reconfiguration) of different sorts of software components, namely probabilistic, quantum, continuous, or hybrid. More recently, he became interested in exploring connections between Physics and Computation at two levels: the discrete-continuous frontier and the classic-quantum interaction. Most of his work is framed on Coalgebra and Modal Logic.
Luis is currently chairing the IFIP Technical Committee TC1, on Foundations of Computer Science, and has a second academic affiliation to the United Nations University.
Selected Publications
- L. Gomes, A. Madeira, L. S. Barbosa, and M. Jain
On the generation of equational dynamic logics for weighted imperative programs
ICFEM, Springer LNCS (to appear, 2019)
- R. Neves, and L. S. Barbosa
Languages and models for hybrid automata: A coalgebraic perspective
Theoretical Computer Science, Elsevier, 744, pp 113-142 (2018)
- G. Cledou, E. Estevez, and L. S. Barbosa
A taxonomy for planning and designing smart mobility services
Government Information Quarterly, Elsevier, 35 (1), pp 61-76 (2018)
- R. Neves, L. S. Barbosa, D. Hofmann, and M. A. Martins
Continuity as a computational effect
Logic and Algebraic Programming, Elsevier, 85 (5), pp 1057-1085 (2016)
- R. Neves, A. Madeira, M. A. Martins, L. S. Barbosa
Proof theory for hybrid(ised) logics
Science of Computer Programming, Elsevier, 132, pp 50-76 (2016)