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)
Adjunct Associate Professor at UNU-EGOV (Policy Driven Electronic Governance), an operational unit of the United Nations University
[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 K. Lewin once put it, there is nothing so practical as 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
    A. Madeira, M. A. Martins, L. S. Barbosa and Rolf Hennicker, in Formal Aspects of Computing, 27 (2), pp 375-395. 2015. [link]
  • A perspective on architectural re-engineering
    A. Sanchez, N. Oliveira, L. S. Barbosa and P. R. Henriques, in Sci. Comput. Program., 98, pp 764-784. 2015 [link]
  • Self-adaptation by coordination-targeted reconfigurations
    N. Oliveira and L. S. Barbosa, in Journal of Software Engineering Research and Development, Springer, 3 (6), pp 1-31. 2015 [link]
  • Towards an engine for coordination-based architectural reconfigurations
    F. Rodrigues, N. Oliveira and L. S. Barbosa, in Comput. Sci. Inf. Syst., 12 (2), pp 607-634. 2015. [link]
  • The role of logical interpretations in program development
    M. A. Martins, A. 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, M. A. Mrtins and M. Carreteiro, in Journal of Logic, Language and Information, 23 (1), pp 31 -52. 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]
  • 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]
  • Quantitative analysis of Reo-based services coordination
    Nuno Oliveira, Alexandra Silva and L. S. Barbosa, in ACM Symposium on Applied Computing, SAC'14, ACM, pp 1247-1254. 2014. [link]
  • A coalgebraic perspective on logical interpretation
    M. A. Martins, A. Madeira and L. S. Barbosa, in Studia Logica - Special Issue on Abstract Algebraic Logic, 101(4), pp 783-825 Springer. 2013. [link]

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

  Current Research Projects 
  • Researcher: DALI Project (FCT: Dynamic logics for cyberphysical systems, since January, 2016)

  Concluded Projects 
  • Coordinator: NASONI Project (FCT: Heterogeneous software coordination: Foundations, methods, tools, 2013-2015)
  • 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: QAIS Project (FCT: Quantitative analysis of interacting systems: foundations and algorithms, 2012-2015)
  • 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 July 2015,
    on dynamic logics on-demand (FCT post-doc grant).
  • Post-doc: José Proença, since February 2013,
    on adpatable coordination (FCT post-doc grant).

  • PhD: Carlos Tavares
    Theme: Foundations for quantum algorithms and complexity (Oct, 2015)
  • PhD: Renato Neves, co-supervision with Manuel Martins, Maths Department, Aveiro University.
    Theme: Logics and calculi for cyber-physical components (Jan, 2014)
  • PhD: Maria Guillermina Cledou, co-supervision with Elsa Estevez, UNU-EGOV, United Nations University.
    Theme: A virtual factory for smart city service integration (Jan, 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)

  • MSc: Tiago Loureiro, MSc in Informatics Engineering, DI, Univ. Minho, co-supervision with Renato Neves.
    Theme: A framework for architectural design and simulation of hybrid systems (Dez, 2015)
  • MSc: Yoan Ribeiro, MSc in Informatics Engineering, DI, Univ. Minho, co-supervision with Alexandre Madeira.
    Theme: Validation of IEC 61131-3 Programmable Logical Controllers in KeYmaera (Jan, 2015)

  • Post-doc: Alexandra Silva (2011-12).
  • Post-doc: Alexandre Madeira, 2013-2015,
    on the development and study of formal methods for Robotics (INESC TEC project Cooperation and Perception for Augmenting Autonomy).

  • 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 Dez, 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 SEFM'16 (14th Inter. Conf. on Software Engineering and Formal Methods), Vienna, Austria, 4-8 July, 2016.
  • PC member of COORDINATION 2016 (18th IFIP International Conference on Coordination Models and Languages), Heraklion, Greece, 6-8 June, 2016.
  • PC member of TASE 201616 (10th International Symposium on Theoretical Aspects of Software Engineering), Shangai, China, 17-19 July, 2015.
  • PC member of SOAP track at SAC'16 (Service-Oriented Architectures and Programming track of the 31st ACM/SIGAPP Symposium On Applied Computing), Pisa, Italy, 4-8 April, 2016.
  • PC member of ICEGOV 2016 (9th International Conference on Theory and Practice of Electronic Governance), Montevideo, Uruguay, 1-3 March, 2016.

  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

 2015-16  (on sabbatical leave)



 Family links 
 Computer Science Links 
 Mathematical Links 
OIKOS Amnesty International