Luís Soares Barbosa

Quantum and Linear-Optical Computation

Luís Soares Barbosa is an associate of the Quantum and Linear-Optical Computation group in the Department of Quantum Materials, 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)