Barbosa, Luís

Head ad interim

Profile
UNU Publications
Projects
  • Luís Barbosa
    INSTITUTE:
    UNU-EGOV
    OFFICE:
    Campus de Couros, Rua Vila Flor 166 4810-445 Guimarães, Portugal
    E-MAIL:
    barbosa@unu.edu
    PHONE:
    +351 253 510 851
    NATIONALITY:
    Portugal

    Research Interests

    • Formal modelling and program calculi
    • Hybrid systems
    • Modal logics and coalgebra theory
    • Smart Cities
    • Trustworthy software infrastructures and EGOV applications

    Education

    • PhD, Computer Science, University of Minho, Portugal (2001)

    Appointments

    • Head ad interim, United Nations University Operating Unit on Policy-Driven Electronic Governance (UNU-EGOV)
    • Associate Professor, Department of Informatics, School of Engineering, University of Minho
    • Senior Researcher at HASLab INESC TEC
    • Member of IFIP WG 1.3 (Foundations of Systems Specification)
    • Portugal representative at IFIP Technical Committee 1

    Biographical Statement

    Luís Soares Barbosa is the Head ad interim of UNU-EGOV, Associate Professor with tenure at the Department of Informatics at the University of Minho, and senior researcher at the High Assurance Software Laboratory at Instituto de Engenharia de Sistemas e Computadores – Tecnologia e Ciência (HASLab INESC TEC), a research laboratory rated “Excellent” in the 2014 National Research Assessment.

    In recent years he has coordinated four research projects at the national level, bilateral partnerships with Brazil and China, and served as the Portuguese coordinator for the Language Engineering and Rigourous Software Development ALFA EU-Latin America network, a PhD training network funded by the European Union. He has published five book chapters, 25 journal papers and more than 60 international conference papers. He served as invited lecturer in MSc and PhD programmes at the Universities of Bristol (United Kingdom), Tartu (Estonia), and Peking (China). Luís has supervised several PhD projects (six concluded; four on-going). One of his students, Alexandre Madeira, received the 2013 IBM Scientific Prize, the biggest award in Informatics in Portugal.

    Luís Soares Barbosa integrated the founding team of the Joint Doctoral Programme in Computer Science of the Universities of Minho, Aveiro, and Porto, and served as its Director. This programme was awarded the FCT-D seal of excellence in 2013. Since 2013, Luís has also coordinated the University of Minho liaison group for the installation of UNU-EGOV.

  • Articles

    Conference Publications

    Conference Proceedings