IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Prof. Dr.

Luis S. Barbosa

INESC TEC
HASLab INESC TEC and Universidade do Minho
Portugal
Research topics: Program semantics and calculi; Software components and architectures (composition, reconfiguration and verification); Coalgebra; Modal and hybrid logic. (updated at 2019-12-09)
http://www.di.uminho.pt/~lsb