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 TC 1 (Foundations of Computer Science)
[FCT public key: J006763B66J]     [DBLP ]    [ACM Digital Library ]    [RepositoriUM ]
Education: DEng [Lesi], PhD [in Foundations Comp. Sci., Minho]
Address:
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?
MAP-i


  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.
  Research Area and Publications

 Main Research Area  
Program semantics and calculi applied to systems understanding and rigorous software construction.
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 (most recent papers)  
  • A coalgebraic perspective on logical interpretation
    M. A. Martins, A. Madeira and L. S. Barbosa, in Studia Logica Special Issue on Abstract Algebraic Logic (in print), Springer. December, 2012.
  • A calculus for generic, QoS-aware component composition
    L. S. Barbosa and Sun Meng, in Mathematics in Computer Science, 6 (3), Springer. November, 2012.
  • Analysing tactics in architectural patterns
    Alejandro Sanchez, Ademar Aguiar, L. S. Barbosa, Daniel Riesco, in Proc. 35th Software Engineering Workshop, SEW-35, IEEE Press. Heraklion, October, 2012.
  • Software components as invariant-typed arrows
    L. S. Barbosa, in SBLP'12 (CBSOFT keynote lecture), Springer Lect. Notes in Comp. Sci., 7554. Natal, September, 2012.
  • Reconfiguration mechanisms for service coordination
    Nuno Oliveira and L. S. Barbosa, in WS-FM 2012 (Web Services and Formal Methods), Springer Lect. Notes in Comp. Sci. (to appear). Tallin, September, 2012.

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

  Post-doc Fellows and Post-graduate Students

 Current 
  • Post-doc: José Proença, starting February 2013.
  • Post-doc: Alexandra Silva, since September 2011.

  • PhD: Alexandre Madeira , co-supervision with Manuel Martins,Maths Departement, Aveiro University.
    Theme: Foundations and techniques for software reconfigurability (An institution-independent approach to specifying and reasoning about reconfigurable systems) ( (Feb, 2009)
  • PhD: Alejandro Sanchez , co-supervision with Daniel Riesco, Universidad Nacional de San Luis, Argentina.
    Theme: A calculus of architectural patterns (Mar, 2009)
  • PhD: Nuno Oliveira.
    Theme: Architectural reconfiguration of interacting services (February, 2011)
  • 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)
  • MSc: Renato Neves, MSc in Informatics Engineering, DI, Univ. Minho
    Theme: Proof support for Hybrid Logic (Nov, 2012)

 Past Students 
  • 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: Paula Cristina Soares Ribeiro, MSc in Computational Mathematics, Maths Dep., Univ. Minho.
    Theme: Coinductive programming: Calculi and applications (in portuguese) (concluded: 16 March 2006)
  • 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: André Martins, MSc in Informatics Engineering, DI, Univ. Minho
    Theme: An animator for the component calculus (concluded: 13 December 2011)


  Professional Activities
  Current Research Projects 
  • Coordinator: MONDRIAN Project (FCT: Foundations for architectural design , since March 2010)
  • Coordinator: MathIS Project (FCT: Reinvigorating Mathematics for the Information Society, since January 2009)
  • Researcher: QAIS Project (FCT: Quantitative analysis of interacting systems: foundations and algorithms, since May 2012)
  • Researcher: CROSS Project (FCT: An Infrastructure for Certification and Re-engineerng of Open Source Software, since March 2010)
  • Contributer: Overture (Taskforce aimed at building an open source community around the development of the next generation of interoperable tools for models in VDM++)

  Academic duties 
  • Member elected of the University Senate, since 2010.
  • Head of Department (DiUM), 2010-12.
  • Director MAP-i, Joint Doctoral Programme in Computer Science of Minho, Aveiro and Porto Universities, 2010-11.
  • Member of the Steering Committee of FACS (Formal Aspects of Component Software)
  • Member of the Steering Committee of OpenCert (Certification of Open-Source Software)

  Forthcoming and Recent Activities 
  • PC member of SEFM'13 (11th IEEE Inter. Conf. on Software Engineering and Formal Methods),Madrid, Spain, 25-27 September, 2013.
  • PC member of FACS'13 (10th Inter. Symposium on Formal Aspects of Component Software), Nanchang, China,October, 28-30, 2013.
  • PC member of ACM SAC-2013 (Track SOAP) Coimbra, Portugal, March 18-22, 2013.
  • PC member of SEFM'12 (10th IEEE Inter. Conf. on Software Engineering and Formal Methods),Thessaloniki, Greece, 1-5 October, 2012.
  • PC member of InSuEdu'12 (1st International Symposium on Innovation and Sustainability in Education),Thessaloniki, Greece, 1 October, 2012.
  • PC member of OpenCert'12 (6th International Workshop on Foundations and Techniques for Open Source Software Certification ),Thessaloniki, Greece, 1-2 October, 2012.
  • PC member of SBMF'12 (14th Brazilian Symp. on Formal Methods), Natal, Brazil, 23-28 September, 2012.
  • Co-chair of SBLP'12 (XVI Brazilian Symp. on Programming Languages), Natal, Brazil, 23-28 September, 2012.
  • PC member of CMCS'12 (11th International Workshop on Coalgebraic Methods in Computer Science),Tallinn, Estonia, 31 March - 1 April, 2012.

  Editor 
Past Activities


  Teaching Duties

 2012-13 

Past teaching duties


  Connections

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