Cookies
Usamos cookies para melhorar nosso site e a sua experiência. Ao continuar a navegar no site, você aceita a nossa política de cookies. Ver mais
Fechar
  • Menu
Sobre

Sobre

Sou Professor Associado com agregação no Departamento de Informática da Universidade do Minho, e investigador sénior no High Assurance Software Laboratory (HASLab INESC TEC). Desde Outubro de 2016, sou Director Adunto da UNU-EGOV, a Operational Unit on Policy-driven Electronic Governance da Universidade das Nações Unidas (egov.unu.edu).

Os meus interesses de investigação estão focados na semântica do fenómeno computacional e no desenvolvimento de cálculos de programs aplicados à compreensão de sistemas e à concepção de software. Estou particularmente interessado em teoria das coálgebras e raciocínio coindutivo, assim como em lógicas modais e híbridas.

Nos últimos anos coordenei quatro projectos de investigação a nível nacional, parcerias bilaterais com o Brasil e China, e fui coordenador no lado português de uma rede ALFA (Europa - América Latina) para formação doutoral. Sou autor de cinco capítulos de livro,  25 artigos em revistas indexadas, e mais de 60 artigos em conferências internacionais. Tendo lecionado em curso de Mestrado e Programas Doutorais nas Universidades de Bristol (Reino Unido), Tartu (Estónia), e Pequim (China), orientei igualmente diversos projectos de doutoramento (seis concluídos; quatro em curso). Um dos meus orientando,  Alexandre Madeira, recebeu o Prémio Científico IBM para 2013, o mais importante prémio científico em Informática em Portugal.

Integrei, por nomeação reitoral,  o grupo que concebeu e implementou o "Joint Doctoral Programme in Computer Science of the Universities of Minho, Aveiro, and Porto" (MAP-i), tendo mais tarde servido como seu director. Desde Setembro de 2016, sou coordenador da cátedra PT-FLAD em "Smart Cities & Smart Governance", uma nova cátedra instituida na Universidade do Minho generosamente suportada pela PT e pela FLAD.

Actualmente faço parte da equipa do QuantaLab (www.quantalab.org) um centro de investigação colaborativo entre a UMinho e o INL em Materiais, Tecnologias e Computação Quântica.

Tópicos
de interesse
Detalhes

Detalhes

  • Nome

    Luís Soares Barbosa
  • Cluster

    Informática
  • Cargo

    Investigador Coordenador
  • Desde

    01 novembro 2011
001
Publicações

2019

Deep learning powered question-answering framework for organizations digital transformation

Autores
Carvalho, NR; Barbosa, LS;

Publicação
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.

2018

A taxonomy for planning and designing smart mobility services

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

Publicação
Government Information Quarterly

Abstract

2018

A logic for the stepwise development of reactive systems

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

Publicação
Theoretical Computer Science

Abstract

2018

Layered logics, coalgebraically

Autores
Barbosa, LS;

Publicação
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

Autores
Neves, R; Barbosa, LS;

Publicação
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.

Teses
supervisionadas

2017

A framework for architectural design and simulation of hybrid systems

Autor

Instituição
UM

2016

Contracts on-demand

Autor
Leandro Rafael Moreira Gomes

Instituição
UM

2016

Logic foundations and computational tools for synthetic biology

Autor
Daniel Figueiredo

Instituição
UA

2015

A Virtual Factory for Smart City Service Integration

Autor
Maria Guillermina Cledou

Instituição
UM

2015

Logics and Calculi for Cyber Physical Components

Autor
Renato Jorge Araújo Neves

Instituição
UM