Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu
About
Download Photo HD

About

I am Associate Professor with habilitation at the Department of Informatics at the University of Minho, and senior researcher at the High Assurance Software Laboratory (HASLab INESC TEC). Since October 2016, I am also serving as Deputy Head of UNU-EGOV, the United Nations University Operational Unit on Policy-driven Electronic Governance (egov.unu.edu).

My research interests are focused on program semantics and calculi applied to systems understanding and rigorous software construction. I am particularly interested in coalgebra theory and conductive reasoning, as well as on modal and hybrid logics.

In recent years I 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 Rigorous Software Development ALFA EU-Latin America network, a PhD training network funded by the European Union. I have published five book chapters, 25 journal papers and more than 60 international conference papers. Having served as invited lecturer in MSc and PhD programmes at the Universities of Bristol (United Kingdom), Tartu (Estonia), and Peking (China), I have supervised several PhD projects (six concluded; four on-going). One of my students, Alexandre Madeira, received the 2013 IBM Scientific Prize, the biggest award in Informatics in Portugal.

I integrated the founding team of the Joint Doctoral Programme in Computer Science of the Universities of Minho, Aveiro, and Porto (MAP-i), and served as its Director. Since the Fall 2016, I coordinate the PF-FLAD Chair on Smart Cities & Smart Governance, a new chair at UMinho generously supported by PT and FLAD.

Currently, I am part of the QuantaLab (www.quantalab.org) team, a collaborative research center joining together UMinho and INL, on Quantum Materials, Technologies and Computation.

Interest
Topics
Details

Details

  • Name

    Luís Soares Barbosa
  • Role

    Research Coordinator
  • Since

    01st November 2011
  • Nationality

    Portugal
  • Contacts

    +351253604440
    luis.s.barbosa@inesctec.pt
001
Publications

2020

A component-based framework for certification of components in a cloud of HPC services

Authors
de Oliveira Dantas, AB; de Carvalho Junior, FH; Barbosa, LS;

Publication
Science of Computer Programming

Abstract
HPC Shelf is a proposal of a cloud computing platform to provide component-oriented services for High Performance Computing (HPC) applications. This paper presents a Verification-as-a-Service (VaaS) framework for component certification on HPC Shelf. Certification is aimed at providing higher confidence that components of parallel computing systems of HPC Shelf behave as expected according to one or more requirements expressed in their contracts. To this end, new abstractions are introduced, starting with certifier components. They are designed to inspect other components and verify them for different types of functional, non-functional and behavioral requirements. The certification framework is naturally based on parallel computing techniques to speed up verification tasks. © 2019

2019

Deep learning powered question-answering framework for organizations digital transformation

Authors
Carvalho, NR; Barbosa, LS;

Publication
ACM International Conference Proceeding Series

Abstract
In the context of digital transformation by governments, the public sector and other organizations, many information is moving to digital platforms. Chatbots and similar question-answering systems are becoming popular to answer information queries, opposed to browsing online repositories or webpages. State-of-the-art approaches for these systems may be laborious to implement, hard to train and maintain, and also require a high level of expertise. is work explores the definition of a generic framework to systematically build question-answering systems. A sandbox implementation of this framework enables the deployment of turnkey systems, directly from already existing collections of documents. ese systems can then be used to provide a question-answering system communication channel to enrich the organization digital presence. © 2019 Association for Computing Machinery.

2019

Generalising KAT to Verify Weighted Computations

Authors
Gomes, L; HASLab INESC TEC, Universidade do Minho, R. da Universidade, 4710-057 Braga, Portugal,; Madeira, A; Barbosa, LS; CIDMA, Universidade de Aveiro, Campus Universitario de Santiago, 3810-193 Aveiro, Portugal,; Universidade do Minho, R. da Universidade, 4710-057 Braga, Portugal & Quantum Software Engineering Group, INL,;

Publication
SCIENTIFIC ANNALS OF COMPUTER SCIENCE

Abstract
Kleene algebra with tests (KAT) was introduced as an algebraic structure to model and reason about classic imperative programs, i.e. sequences of discrete transitions guarded by Boolean tests. This paper introduces two generalisations of this structure able to express programs as weighted transitions and tests with outcomes in non necessarily bivalent truth spaces: graded Kleene algebra with tests (GKAT) and a variant where tests are also idempotent (I-GKAT). In this context, and in analogy to Kozen's encoding of Propositional Hoare Logic (PHL) in KAT we discuss the encoding of a graded PHL in I-GKAT and of its while-free fragment in GKAT. Moreover, to establish semantics for these structures four new algebras are defined: FSET(T), FREL(K,T) and FLANG(K,T) over complete residuated lattices K and T, and M (n, A) over a GKAT or I-GKAT A. As a final exercise, the paper discusses some program equivalence proofs in a graded context.

2019

On the Generation of Equational Dynamic Logics for Weighted Imperative Programs

Authors
Gomes, L; Madeira, A; Jain, M; Barbosa, LS;

Publication
Formal Methods and Software Engineering - Lecture Notes in Computer Science

Abstract

2018

A taxonomy for planning and designing smart mobility services

Authors
Cledou, G; Estevez, E; Barbosa, LS;

Publication
Government Information Quarterly

Abstract

Supervised
thesis

2017

A framework for architectural design and simulation of hybrid systems

Author

Institution
UM

2016

Contracts on-demand

Author
Leandro Rafael Moreira Gomes

Institution
UM

2016

Logic foundations and computational tools for synthetic biology

Author
Daniel Figueiredo

Institution
UA

2015

Architectural reconfiguration of interacting services

Author
Nuno Ernesto Salgado Oliveira

Institution
UM

2015

A calculus of architectural patterns

Author
Alejandro Sanchez

Institution
UM