Luís Soares Barbosa Luís Soares Barbosa
Current Position: Associate Professor
Research: HASLab (High-assurance Software Laboratory), a research unit at INESC TEC
Member of IFIP WG1.3 (Foundations of System Specification)
[FCT public key: J006763B66J]     [DBLP ]    [ACM Digital Library ]    [RepositoriUM ]
Education: DEng [Lesi], PhD [in Foundations Comp. Sci., Minho]
DI - Departamento de Informática,
Escola de Engenharia Universidade do Minho
  Campus de Gualtar, 4710-057 Braga, Portugal
[Email: lsb AT di uminho pt] [Telf: +351 253604463 (direct) or +351 253604430] [Fax: +351 253604471]

Looking for a PhD in Portugal?

  Position Statement
Software tecnology is pre-scientific in its lack of sound mathematical foundations to provide an effective basis to predict and certify programs' behaviour. Compared to other Engineering disciplines, we are somewhere in the 17th century. My research aims at improving scientific standards, seeking rigour and simplicity in software design and architecture through Mathematics. I do believe that, as Lenine once put it, nothing is more practical than a good theory.

 Main Research Area  
Program semantics and calculi applied to systems understanding and rigorous software construction in the context of global ubiquitous computing.
Applications: Software components, services and architectures (Composition, reconfiguration and verification)
Focus: Architectural patterns and calculi. Software connectors.
Foundations: Coalgebra theory and coinductive reasoning. Modal and hybrid logics.
Method: Correctness by construction.
  Publications (some recent papers)  
  • Refinement in hybridised institutions
    Alexandre Madeira, Manuel A. Martins, L. S. Barbosa and Rolf Hennicker, in Formal Aspects of Computing, 27 (2). Springer. 2015. [link]
  • A perspective on architectural re-engineering
    Alejandro Sanchez, Nuno Oliveira, L. S. Barbosa, and P. R. Henriques, in Science of Computer Programming, 98. Elsevier. 2015. [link]
  • The role of logical interpretations in program development
    Manuel A. Martins, Alexandre Madeira and L. S. Barbosa, in Logical Methods in Computer Science, 10(1). 2014. [link]
  • A Hilbert-style axiomatisation for equational hybrid logic
    L. S. Barbosa, Manuel A. Martins, Marta Carreteiro in Journal of Logic, Language and Information, 23(1), Springer. 2014. [link]
  • A self-adaptation strategy for service-based architectures
    Nuno Oliveira and L. S. Barbosa, in Eighth Braz. Symp. Software Components, Architectures and Reuse, SBCARS'14 IEEE (Best Paper award). 2014. [link]
  • A dynamic logic for every season
    Alexandre Madeira, Renato Neves, Manuel A. Martins and L. S. Barbosa, Manuel A. Martins, in SBMF'14, Lect. Notes in Computer Science, 8941, Springer. 2014. [link]
  • Quantitative analysis of Reo-based services coordination
    Nuno Oliveira, Alexandra Silva and L. S. Barbosa, in ACM Symposium on Applied Computing, SAC'14, ACM. 2014. [link]
  • Completeness and decidability results for hybrid(ised) logics
    Renato Neves, Manuel A. Martins and L. S. Barbosa, Manuel A. Martins, in SBMF'14, Lect. Notes in Computer Science, 8941, Springer. 2014. [link]

Most papers available from the following repositories: [DBLP ] [ACM Digital Library ] [RepositoriUM ]

  Current Research Projects 
  • Coordinator: NASONI Project (FCT: Heterogeneous software coordination: Foundations, methods, tools, since 1st July 2013)
  • Researcher: QAIS Project (FCT: Quantitative analysis of interacting systems: foundations and algorithms, 1st April 2012)

  Concluded Projects 
  • Coordinator: MONDRIAN Project (FCT: Foundations for architectural design , 2010-13)
  • Coordinator: MathIS Project (FCT: Reinvigorating Mathematics for the Information Society, since January 2009-12)
  • Coordinator: PURe Project (FCT: Program Understanding and Re-engineering: Calculi and Applications (2003-2006)
  • Portuguese Coordinator of the LerNet Alfa Europe - Latin America Joint PhD Program on Language Engineering and Rigourous Software Development (2005-2008)
  • Coordinator: Portugal - P. R. China Grices Project on Formal Models for Software Components, 2005-07.
  • Researcher: CROSS Project (FCT: An Infrastructure for Certification and Re-engineerng of Open Source Software, 2010-12)
  • Researcher: IVY(FCT Project: A model-based usability analysis environment, 2005-08)

  Post-doc Fellows and Post-graduate Students

  • Post-doc: Alexandre Madeira, since September 2013,
    on the development and study of formal methods for Robotics (INESC TEC project Cooperation and Perception for Augmenting Autonomy).
  • Post-doc: José Proença, since February 2013,
    on adpatable coordination.

  • PhD: Renato Neves, co-supervision with Manuel Martins, Maths Department, Aveiro University.
    Theme: (Logics and calculi for cyber-physical components) (Out, 2014)
  • PhD: Maria Guillermina Cledou, co-supervision with Elsa Estevez,UNU-EGOV, United Nations University, Guimaraes.
    Theme: A virtual factory for smart city service integration (Out, 2014)
  • PhD: Sara Fernandes, co-supervision with Antonio Cerone,IIST, United Nations University, Macau.
    Theme: Peer-Production and Technology-Enhanced Collaborative Teaching and Learning (Sep, 2012)
  • PhD: Alejandro Sanchez , co-supervision with Daniel Riesco, Universidad Nacional de San Luis, Argentina.
    Theme: A calculus of architectural patterns (Mar, 2009)

  • Post-doc: Alexandra Silva (2011-12).

  • PhD: Nuno Oliveira ,
    Theme: Architectural reconfiguration of interacting services (Concluded: 10 March, 2015.)
  • PhD: Alexandre Madeira , co-supervision with Manuel Martins,Maths Department, Aveiro University.
    Theme: Foundations and techniques for software reconfigurability (Concluded: 8 July, 2013.)
  • PhD: João Fernando Peixoto Ferreira, co-supervision with Roland Backhouse, University of Notthingham, UK.
    Theme: Algorithmic problem solving: Principles and applications (concluded: 5 November, 2010)
  • PhD: Marco António Castro Barbosa.
    Theme: Specification and refinement of software connectors (concluded: 7 September 2009)
  • PhD: Nuno Miguel Feixa Rodrigues.
    Theme: Slicing techniques applied to architectural analysis of legacy software (concluded: 9 February, 2009)
  • PhD (co-supervision): Sun Meng, School of Mathematical Sciences, Peking University and UNU/IIST (Macau).
    Theme: Coalgebra theory and its application to component software (concluded: 12 November 2004)
  • PhD: (visiting student) Shuling Wang, (DBLP) Visiting student from School of Mathematical Sciences of Peking University.
    working on: Separation logic for object orientation (Apr to Jul, 2007)

  • MSc: Flavio Rodrigues, MSc in Informatics Engineering, DI, Univ. Minho co-supervision with Nuno Oliveira.
    Theme: An engine for coordination-based architectural reconfigurations (concluded: 11 December 2014)
  • MSc: Renato Neves, MSc in Informatics Engineering, DI, Univ. Minho
    Theme: Proof support for Hybrid Logic (concluded: 27 September 2013)
  • MSc: André Martins, MSc in Informatics Engineering, DI, Univ. Minho
    Theme: An animator for the component calculus (concluded: 13 December 2011)
  • MSc: David Rodrigues Sora, at CERN, Geneve, MSc in Informatics, Univ. Minho.
    Theme: Formal specification of an object-oriented framework for designing control systems (concluded: 7 December 2007)
  • MSc: Paula Cristina Soares Ribeiro, MSc in Computational Mathematics, Maths Dep., Univ. Minho.
    Theme: Coinductive programming: Calculi and applications (in portuguese) (concluded: 16 March 2006)

  Professional Activities
  Forthcoming Events 
  • PC member of Refine 2015 (2015 Refinement Workshop), Oslo, Norway, 22 June, 2015.
  • PC member of FOCLASA 2015 (14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems), Madrid, Spain, 5 September, 2015.
  • PC member of SEFM'15 (13th Inter. Conf. on Software Engineering and Formal Methods), York, UK, 7-11 September, 2015.
  • PC member of MoKMaSD 2015 (4th Inter. Symp. on Modelling and Knowledge Management applications: Systems and Domain), York, UK, 8 September, 2015.
  • PC member of INFORUM 2015 (PT Informatics Symposium), UBI, Covilha, Portugal, 7-8 September, 2015.
  • PC member of SBMF'15 (18th Brazilian Symp. on Formal Methods), Belo Horizonte, Brazil, 21-26 September, 2015.
  • PC member of SBLP'15 (XIX Brazilian Symp. on Programming Languages), Belo Horizonte, Brazil, 21-26 September, 2015.
  • PC member of FACS'15 (11th Inter. Symposium on Formal Aspects of Component Software), Niteroi, Rio de Janeiro, Brazil, 14-16 October, 2015.
  • PC member of SETTA 2015 (1st International Symposium on Dependable Software Engineering: Theories, Tools and Applications), Nanjing, China, 4-6 November, 2015.

  Academic duties 
  • Director MAP-i, Joint FCT Doctoral Programme in Computer Science of Minho, Aveiro and Porto Universities, since October 2013.
  • Portugal representative at IFIP TC1 (Foundations of Computer Science)
  • Member of the Steering Committee of FACS (Formal Aspects of Component Software)
  • Member of the Steering Committee of OpenCert (Certification of Open-Source Software)


  Teaching Duties



  • A link to my poetry and books
 Computer Science Links 
 Mathematical Links 
OIKOS Amnesty International