Soares Barbosa, Luís
Deputy Director
-
- INSTITUTE:
- UNU-EGOV
- OFFICE:
- Rua de Vila Flor 166, 4810-445 Guimarães, Portugal
- E-MAIL:
- barbosa@unu.edu
- PHONE:
- n/a
Research Interests
- Formal modelling and program calculi
- Modal logics and coalgebra theory
- New information paradigms
- Trustworthy software infrastructures and EGOV applications
Education
- PhD, Computer Science, University of Minho, Portugal (2001)
Appointments
- Deputy Director, United Nations University Operating Unit on Policy-Driven Electronic Governance (UNU-EGOV)
- Full Professor, Department of Informatics, School of Engineering, University of Minho
- Senior Researcher at HASLab INESC TEC
- Chair of IFIP Technical Committee TC1 on Foundations of Computer Science
Biographical Statement
Luís Soares Barbosa is the Deputy Director of the United Nations University (UNU-EGOV). He is also Full Professor at the Department of Informatics of 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).
In recent years, he has coordinated six 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. He participated in a number of consultancy missions to International Institutions and Governments, including the UN and UNESCO, as well as Governments of Colombia, S. Tomé and Príncipe, Cape Verde, Mozambique and Guiné-Bissau.
-
Articles
- Gomes, Leandro, Madeira, Alexandre and Soares Barbosa, Luís (2021). A semantics and a logic for Fuzzy Arden Syntax. Soft Computing, 25(9), 6789-6805
- de Oliveira, Michael and Soares Barbosa, Luís (2021). Quantum Bayesian Decision‑Making. Foundations of Science, 1-21
- de Oliveira Dantas, Allberson Bruno, de Carvalho Junior, Francisco Heron and Soares Barbosa, Luís (2020). A component-based framework for certification of components in a cloud of HPC services. Science of Computer Programming, 191, n/a-n/a
- Janssen, Marijn, Brous, Paul, Estevez, Elsa, Soares Barbosa, Luís and Janowski, Tomasz (2020). Data governance: Organizing data for trustworthy Artificial Intelligence. Government Information Quarterly, 37(3), n/a-n/a
- Madeira, Alexandre, Neves, Renato, Martins, Manuel and Soares Barbosa, Luís (2018). Hierarchical Hybrid Logic. Electronic Notes in Theoretical Computer Science, 338, 167-184
- Guillermina Cledou, Estevez, Elsa and Soares Barbosa, Luís (2018). A taxonomy for planning and designing smart mobility services. Government Information Quarterly, 35(1), 61-76
- Neves, Renato and Soares Barbosa, Luís (2018). Languages and models for hybrid automata: A coalgebraic perspective. Theoretical Computer Science, 744, 113-142
- Madeira, Alexandre, Soares Barbosa, Luís, Hennicker, Rolf and Martins, Manuel (2018). A logic for the stepwise development of reactive systems. Theoretical Computer Science, 744, 78-96
- Fernandes, Sara, Barbosa, Luís and Cerone, Antonio (2013). FLOSS communities as learning networks. International Journal of Information and Education Technology, 3(2), 278-281
Conference Publications
- Al-Lawati, Ali and Soares Barbosa, Luís, A Framework for Intelligent Policy Decision Making Based on a Government Data Hub 4th International Conference on Digital Transformation and Global Society (DTGS 2019), Saint Petersburg, 2019/06/19-21.
- Al-Lawati, Ali and Soares Barbosa, Luís, Towards a register-based census in Oman 13th International Conference on Theory and Practice of Electronic Governance (ICEGOV 2020), Online, 2020/09/23-25.
- Soares Barbosa, Luís, Software engineering for “quantum advantage” 42nd International Conference on Software Engineering Workshops (ICSEW 2020), Online, 2020/07/06-11.
- Carvalho, Nuno and Soares Barbosa, Luís, Deep Learning Powered Question-Answering Framework for Organizations Digital Transformation 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV2019), Melbourne, 2019/04/03-05.
- Carvalho, Nuno and Barbosa, Luís, Transforming Legal Documents for Visualization and Analysis 11th International Conference on Theory and Practice of Electronic Governance (ICEGOV2018), Galway, 2018/04/04-06.
- Barbosa, Luís, Layered Logics, Coalgebraically First International Workshop on Dynamic Logic: New Trends and Applications, Brasília, 2017/09/22.
- Paulo Santos, Luís, Nuno Barbosa, Luís, Bessa, Diogo, Martins, Lúcia and Barbosa, Luís, Communities of Practice as a tool to support the GCIO function 11th International Conference on Theory and Practice of Electronic Governance (ICEGOV2018), Galway, 2018/04/04-06.
- Nielsen, Morten M, Carvalho, Nuno, Veiga, Linda Gonçalves and Barbosa, Luís Soares, Administrative Burden Reduction Over Time: Literature Review, Trends and Gap Analysis 10th International Conference on Theory and Practice of Electronic Governance (ICEGOV2017), New Delhi, 2017/03/07-09.
- Barbosa, Luís and Santos, Luís, Networks of Universities as a Tool for GCIO Education IFIP EGOV-ePart 2017, Saint Petersburg, 2017/09/04-07.
- Barbosa, Luís, Digital Governance for Sustainable Development 16th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society (I3E 2017), New Delhi, 2017/11/21-23.
- Fernandes, Sara and Barbosa, Luís Soares, Electronic Governance in Portugal: A Silent Pioneer 3rd International Conference on Electronic Governance and Open Society: Challenges in Eurasia (EGOSE ’16), Saint Petersburg, 2016/11/22-23.
- Gonçalves Veiga, Linda, Janowski, Tomasz and Barbosa, Luís, Digital Government and Administrative Burden Reduction 9th International Conference on Theory and Practice of Electronic Governance (ICEGOV2016), Montevideo, 2016/03/01-03.
Conference Proceedings
- Estevez, Elsa, Barbosa, Luís and Janssen, Marijn ed. Proceedings of the 8th International Conference on Theory and Practice of Electronic Governance (ICEGOV2014) 2014/10/27-30 Guimarães. Guimarães: ACM Press, 2014.
-
- Electronic Governance for Administrative Burden Reduction
- Education System for Government Technology Leadership in Colombia
- Digital Government strategy and methodologies
- Transforming urban centers into smart cities with emerging technologies
- Norma-Simplex: an infrastructure for legal documents analysis, assessment, and re-factoring
- Media, Information and Literacy (MIL) MOOC for Government Officials and Policy-makers
- E-Governance and Digital Transformation in Guinea-Bissau
- Digital4Justice: Accelerating Digital Transition in São Tomé e Príncipe within the scope of the Justice Modernization Programme
- Digital Transformation within security forces for extensive urban areas
- EGDCV – Cabo Verde Digital Governance Strategy and Action Plan