Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Sobre

Sobre

Sou Professor Catedrático 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. Sou membro do IFIP WG1.3 (Foundations of System Specification), e, desde Janeiro 2019, coordenador do IFIP Tecnhical Committee TC1 on Foundations of Computer Science.

Actualmente coordeno o Quantum Software Engineering Research Group no INL, o International Iberian Nanotechnology Laboratoryf.

Tópicos
de interesse
Detalhes

Detalhes

  • Nome

    Luís Soares Barbosa
  • Cluster

    Informática
  • Cargo

    Investigador Coordenador
  • Desde

    01 novembro 2011
003
Publicações

2023

Paraconsistent Transition Systems

Autores
Cruz, A; Madeira, A; Barbosa, LS;

Publicação
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE

Abstract
Often in Software Engineering a modelling formalism has to support scenarios of inconsistency in which several requirements either reinforce or contradict each other. Paraconsistent transition systems are proposed in this paper as one such formalism: states evolve through two accessibility relations capturing weighted evidence of a transition or its absence, respectively. Their weights come from a specific residuated lattice. A category of these systems, and the corresponding algebra, is defined providing a formal setting to model different application scenarios. One of them, dealing with the effect of quantum decoherence in quantum programs, is used for illustration purposes.

2023

Policy gradients using variational quantum circuits

Autores
Sequeira, A; Santos, LP; Barbosa, LS;

Publicação
QUANTUM MACHINE INTELLIGENCE

Abstract
Variational quantum circuits are being used as versatile quantum machine learning models. Some empirical results exhibit an advantage in supervised and generative learning tasks. However, when applied to reinforcement learning, less is known. In this work, we considered a variational quantum circuit composed of a low-depth hardware-efficient ansatz as the parameterized policy of a reinforcement learning agent. We show that an epsilon-approximation of the policy gradient can be obtained using a logarithmic number of samples concerning the total number of parameters. We empirically verify that such quantum models behave similarly to typical classical neural networks used in standard benchmarking environments and quantum control, using only a fraction of the parameters. Moreover, we study the barren plateau phenomenon in quantum policy gradients using the Fisher information matrix spectrum.

2023

Stepwise Development of Paraconsistent Processes

Autores
Cunha, J; Madeira, A; Barbosa, LS;

Publicação
Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings

Abstract

2023

Modelling and control of manufacturing systems subject to context recognition and switching

Autores
Puttow Southier, LF; Casanova, D; Barbosa, LS; Torrico, C; Barbosa, MAC; Teixeira, M;

Publicação
Int. J. Prod. Res.

Abstract

2023

Weighted synchronous automata

Autores
Gomes, L; Madeira, A; Barbosa, LS;

Publicação
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE

Abstract
This paper introduces a class of automata and associated languages, suitable to model a computational paradigm of fuzzy systems, in which both vagueness and simultaneity are taken as first-class citizens. This requires a weighted semantics for transitions and a precise notion of a synchronous product to enforce the simultaneous occurrence of actions. The usual relationships between automata and languages are revisited in this setting, including a specific Kleene theorem.

Teses
supervisionadas

2022

Timing Constraints in Quantum Programming Languages

Autor
Vítor Emanuel Gonçalves Fernandes

Instituição
UM

2022

Continuous-time Quantum Walks

Autor
Jaime Pereira Santos

Instituição
UM

2022

Quantum Reinforcement Learning: Foundations, algorithms, applications

Autor
André Manuel Resende Sequeira

Instituição
UM

2022

Quantum Bayesian Reinforcement Learning

Autor
Gilberto Rui Nogueira Cunha

Instituição
UM

2022

Dynamic fuzzy logics for quantum programs: Foundations and applications

Autor
Manisha Jain

Instituição
UA-UA