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.

• 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)