Luís Soares Barbosa Luís Soares Barbosa
Current Position: Associate Professor (with Habilitation)
Research: HASLab (High-assurance Software Laboratory), a research unit at INESC TEC
Member of IFIP WG1.3 (Foundations of System Specification)
Head ad interim of 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)  
  • Continuity as a computational effect
    R. Neves, L. S. Barbosa, D. Hofmann, and M. A. Martins, in Jour. Logic and Algebraic Programming, Elsevier, 85 (5), pp 1057-1085. 2016. [link]
  • Proof theory for hybrid(ised) logics
    R. Neves, A. Madeira, M. A. Martins, and L. S. Barbosa, in Science of Computer Programming, Elsevier, 126, pp 73-93. 2016. [link]
  • Digital Government and Administrative Burden Reduction
    L. Veiga, T. Janowski, L. S. Barbosa, in ICEGOV'2016, ACM, pp 323-326. 2016. [link]
  • 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]
  • On the verification of architectural reconfigurations
    A. Sanchez, A. Madeira, and L. S. Barbosa, in Computer Languages, Systems & Structures, Elsevier, 44, pp 218-237. 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]
  • 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 
  • Coordinator: SmartEGOV Project (P2020 NORTE-45-2015-23: Harnessing EGOV for smart governance: Foundations and tools, since May, 2016)
  • Coordinator: PT-FLAD Chair on smart Cities & Smart Governance (Chair jointly supported by PT and FLAD, since June 2016)
  • Researcher: DALI Project (FCT: Dynamic logics for cyberphysical systems, since July, 2016)
  • Researcher: TRUST Project (FCT: Trustworthy Software Design with Alloy, since July, 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: GCIO.CO Project (UNU: Education system for government technology leadership in Colombia, 2015-2016)
  • 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).
  • Post-doc: Nuno Carvalho, since February 2015,
    on modelling and validation of normative text (UNU post-doc grant).
  • PhD: Leandro Gomes, co-supervision with Alexandre Madeira.
    Theme: Contracts on-demand (Sep, 2016)
  • PhD: Daniel Figueiredo, co-supervision with Manuel Martins, Maths Department, Aveiro University.
    Theme: Logic foundations and computational tools for synthetic biology (Sep, 2016)
  • 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)

  • Post-doc: Alexandra Silva, 2011-2012.
  • 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: 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 (Concluded: 10 Dec, 2015)
  • 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 Dec, 2014)
  • MSc: Renato Neves, MSc in Informatics Engineering, DI, Univ. Minho
    Theme: Proof support for Hybrid Logic (concluded: 27 Sep 2013)
  • MSc: André Martins, MSc in Informatics Engineering, DI, Univ. Minho
    Theme: An animator for the component calculus (concluded: 13 Dec 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 Dec 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 FORTE'17 (IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems), Neufchatel, France, tba, 2017.
  • PC member of SOAP track at SAC'17 (Service-Oriented Architectures and Programming track of the 31st ACM/SIGAPP Symposium On Applied Computing), Marrakech, Morocco April 3-7, 2017.
  • PC member of ANT'17 (The 8th International Conference on Ambient Systems, Networks and Technologies), Madeira, Portugal, May, 16-19, 2017.
  • PC member of ICEGOV 2017 (10th International Conference on Theory and Practice of Electronic Governance), New Delhi, India, 3-9 March, 2017.
  • PC member of TASE'17 11th International Symposium on Theoretical Aspects of Software Engineering, Nice, France, September, 13-15, 2017.
  • PC member of SEFM'17 15th International Conference on Software Engineering and Formal Methods, Trento, Italy, September, 6-10, 2017.

  Academic duties 
  • Coordinator UMinho-EGOV, UMinho Special Project on Electronic Governance, since January 2016.
  • 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

 2016-17  (Head ad interim UNU-EGOV)

 2015-16  (on sabbatical leave)



 Family links 
 Computer Science Links 
 Mathematical Links 
OIKOS Amnesty International