Soares Barbosa, Luís
Deputy Head
-
- INSTITUTE:
- UNU-EGOV
- OFFICE:
- C1-18, Campus de Couros, Rua de Vila Flor 166, 4810-445 Guimarães, Portugal
- E-MAIL:
- barbosa@unu.edu
- PHONE:
- +351 253 510 851
- NATIONALITY:
- Portugal
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 Head, 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 currently the Deputy Head of 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 coordinates the PF-FLAD Chair on “Smart Cities & Smart Governance”, established at the University of Minho with private funding.
-
Articles
- Madeira, Alexandre, Neves, Renato, Martins, Manuel and Soares Barbosa, Luís (2018). Hierarchical Hybrid Logic. Electronic Notes in Theoretical Computer Science, 338, 167-184
- 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
- Neves, Renato and Soares Barbosa, Luís (2018). Languages and models for hybrid automata: A coalgebraic perspective. Theoretical Computer Science, 744, 113-142
- 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
- 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-Lawait, 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.
- 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, 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.
- 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.
- 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.
-
- Education System for Government Technology Leadership in Colombia
- Electronic Governance for Administrative Burden Reduction
- 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