Luís Soares Barbosa Luís Soares Barbosa
 
Current Position: Associate Professor at DiUM
Research Group: FMHaS Lab: Theory and Formal Methods for High-assurance Software
[FCT public key: J006763B66J]     [DBLP ]
Education: DEng [Lesi], PhD [in Foundations Comp. Sci., Minho]
Address:
DI - Departamento de Informática, CCTC - Centro de Ciências e Tecnologias de Computação
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.
  Professional Activities
  Long Term 
  • Deputy Head of Department (DiUM)
  • Coordinator: MONDRIAN Project (FCT: Foundations for architectural design , since November 2009)
  • Coordinator: MathIS Project (FCT: Reinvigorating Mathematics for the Information Society, since January 2009)
  • Coordinator: Portugal - P. R. China Grices Project on Formal Models for Software Components, since 2005.
  • Researcher: CROSS Project (FCT: An Infrastructure for Certification and Re-engineerng of Open Source Software, since November 2009)
  • Contributer: Overture (Taskforce aimed at building an open source community around the development of the next generation of interoperable tools for models in VDM++)
  • Member of the Steering Committee of FACS (Formal Aspects of Component Software)
  • Member of the Steering Committee of OpenCert (Certification of Open-Source Software)

  Recent Lectures and Seminars 

  Forthcoming and Recent Activities 
  • PC member of SEFM'10 (8th IEEE Inter. Conf. on Software Engineering and Formal Methods), Pisa, Italy, 20-24 Sep 2010
  • PC member of CMCS'10 (10th International Workshop on Coalgebraic Methods in Computer Science), Paphos, Cyprus, 26-28 Mar 2010
  • PC co-chair of Inforum'10 (2th Portuguese Forum for Informatics), UM, Braga, Portugal, 9-10 Sep 2010
  • OC member of ICPC'10 (18th IEEE International Conference on Program Comprehension), Braga, Portugal, 30 June - 2 July 2010
  • PC member of SEFM'09 (7th IEEE Inter. Conf. on Software Engineering and Formal Methods), Hanoi, Vietnam, 23-27 Nov 2009
  • PC member of FACS'09 (6th Inter. Workshop on Formal Aspects of Component Software), Eindhoven, The Netherlands, 2-3 November 2009
  • PC member of FOCLASA'09 (9th Inter. Workshop on the Foundations of Coordination Languages and Software Architectures), Rhodes, Greece, 11 July 2009
  • PC member of SBLP'09 (XIII Brazilian Symp. on Programming Languages), Gramado, RS, Brazil, 19-21 August 2009
  • PC member of SBMF'09 (Brazilian Symp. on Formal Methods), Gramado, RS, Brazil, 19-21 August 2009
  • PC member of FInCo'09, (3rd Inter. Workshop on Foundations of Interactive Computation), at ETAPS'09, York, 29 March 2009
  • PC co-chair of OpenCert'09, (3rd International Workshop on Foundations and Techniques for Open Source Software Certification), at ETAPS'09, York, 28 March 2009
  • Editor of Language Engineering and Rigorous Software Development Springer LNCS (5520), 2009

    LNCS5520
Past Activities

  Research Interests

 Main Research Area  
Program semantics and calculi applied to systems understanding and rigorous software construction.
Applications: Software components, services and architectures.
Focus: Architectural understanding and re-engineering of legacy software.
Foundations: Coalgebra theory and coinductive reasoning. Relational calculus.
Method: Systems analysis and construction by calculation.
   
 Others  
  • Functional programming. Reactive programming.
  • Formal design methods and software prototyping.
  • Mathematical modelling and proof. Problem solving.

Publications

  Post-Graduate Students

 Current Students 
  • PhD: João Fernando Peixoto Ferreira, co-supervision with Roland Backhouse, University of Notthingham, UK.
    Theme: Algorithmic Problem Solving: Principles and Applications (Jan, 2006)
  • PhD: Alexandra Silva, co-supervision with J. J. M. M. Rutten, CWI, The Netherlands.
    Theme: Service-oriented Programming: Foundations and Calculi (Apr, 2006)
  • PhD: Alexandre Madeira , co-supervision with Manuel Martins,Maths Departement, Aveiro University.
    Theme: Behavioural Certification of Evolving Software Requirements (Feb, 2009)
  • PhD: Alejandro Sanchez , co-supervision with Daniel Riesco, Universidad Nacional de San Luis, Argentina.
    Theme: A calculus of architectural patterns (Mar, 2009)
  • MSc: Miriam Dias, MSc in Informatics, DIUM, Univ. Minho.
    Theme: Prototyping a Calculus of QoS-aware Software Components (November, 2009)

 Past Students 
  • 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)


  Teaching Duties

 2009-10 

 Past 


  Connections

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