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

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
  • Cluster

    Computer Science
  • Role

    Research Coordinator
  • Since

    01st November 2011
001
Publications

2018

A taxonomy for planning and designing smart mobility services

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

Publication
Government Information Quarterly

Abstract

2018

A logic for the stepwise development of reactive systems

Authors
Madeira, A; Barbosa, LS; Hennicker, R; Martins, MA;

Publication
Theoretical Computer Science

Abstract

2018

Layered logics, coalgebraically

Authors
Barbosa, LS;

Publication
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Abstract
This note revisits layered logics from a coalgebraic point of view, and proposes a naturality condition to express the typical hierarchical requirement under which all abstract transitions should be traceable in more specialised layers. © Springer International Publishing AG 2018.

2018

Languages and models for hybrid automata: A coalgebraic perspective

Authors
Neves, R; Barbosa, LS;

Publication
THEORETICAL COMPUTER SCIENCE

Abstract
We study hybrid automata from a coalgebraic point of view. We show that such a perspective supports a generic theory of hybrid automata with a rich palette of definitions and results. This includes, among other things, notions of bisimulation and behaviour, state minimisation techniques, and regular expression languages.

2018

Transforming Legal Documents for Visualization and Analysis

Authors
Carvalho, NR; Barbosa, LS;

Publication
Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018, Galway, Ireland, April 04-06, 2018

Abstract
Regulations, laws, norms, and other documents of legal nature are a relevant part of any governmental organisation. During digitisation and transformation stages towards a digital government model, information and communication technologies are explored to improve internal processes and working practices of government infrastructures. This paper introduces preliminary results on a research line devoted to developing visualisation techniques for enhancing the readability and comprehension of legal texts. The content of documents is conveyed to a well-defined model, which is enriched with semantic information extracted automatically. Then, a set of digital views are created for document exploration from both a structural and semantic point of view. Effective and easier to use digital interfaces can enable and promote citizens engagement in decision-making processes, provide information for the public, and also enhance the study and analysis of legal texts by lawmakers, legal practitioners, and assorted scholars. © 2018 Copyright is held by the owner/author(s). Publication rights licensed to ACM.

Supervised
thesis

2017

A framework for architectural design and simulation of hybrid systems

Author

Institution
UM

2016

Logic foundations and computational tools for synthetic biology

Author
Daniel Figueiredo

Institution
UA

2016

Contracts on-demand

Author
Leandro Rafael Moreira Gomes

Institution
UM

2015

A calculus of architectural patterns

Author
Alejandro Sanchez

Institution
UM

2015

Foundations for Quantum Algoritmics

Author
Carlos Eduardo Teixeira Tavares

Institution
UM