
Luís Soares Barbosa
Associate
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)
- 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)