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)