???global.info.a_carregar???
Alcides Aguiar Fonseca. Completed the Doutoramento in Ciências e Tecnologias da Informação in 2017/06/30 by Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Mestrado in Mestrado em Engenharia Informática in 2011 by Universidade de Coimbra and Licenciatura in Licenciatura em Engenharia Informática in 2009 by Universidade de Coimbra. Is Assistant Professor in Universidade de Lisboa Faculdade de Ciencias. Published 7 articles in journals. Has 1 book(s). Has received 7 awards and/or honors. Participates and/or participated as Principal investigator in 1 project(s) and Researcher in 2 project(s). In their professional activities interacted with 28 collaborator(s) co-authorship of scientific papers. In his curriculum Ciência Vitae the most frequent terms in the context of scientific, technological and artistic-cultural output are: paralelização automática; optimization; work-stealing; concurrency; compilers; automatic parallelization; optimização; balanceamento; concorrência; compiladores; Software Engineering for High Performance and Adaptive Services Innovation Systems; Desenvolvimento de software; Sistemas distribuidos; Sistemas de tipos; Linguagens de script; Análise de Software; Manipulação de Software; Software Verde; Software Fault Localization; .
Read full resume ↓
Identification

Personal identification

Full name
Alcides Aguiar Fonseca

Citation names

  • Fonseca, Alcides

Author identifiers

Ciência ID
BB1F-13D3-330D
ORCID iD
0000-0002-0879-4015
Google Scholar ID
0nKEYVsAAAAJ

Email addresses

  • me@alcidesfonseca.com (Professional)
  • amfonseca@ciencias.ulisboa.pt (Professional)

Websites

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
French Beginner (A1) Advanced (C1) Beginner (A1) Advanced (C1)
Japanese Beginner (A1) Beginner (A1) Beginner (A1)
Education
Degree Classification
2012
Concluded
 Ciências e Tecnologias da Informação (Doutoramento)
Major in Sem especialidade
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
"Automatic Optimization of Granularity Control Algorithms for Parallel Programs" (THESIS/DISSERTATION)
2009 - 2011
Concluded
 Mestrado em Engenharia Informática (Mestrado)
Universidade de Coimbra, Portugal
"ÆminiumGPU: A CPU-GPU Hybrid Runtime for the Æminium Language" (THESIS/DISSERTATION)
 18
2006 - 2009
Concluded
 Licenciatura em Engenharia Informática (Licenciatura)
Universidade de Coimbra, Portugal
 16
Affiliation

Science

Category
Host institution 		Employer
2017/03/13 - Current Researcher (Research) Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Universidade de Lisboa Faculdade de Ciencias, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2023/11/01 - Current Associate Professor (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal
2018/09/01 - 2023/10/31 Assistant Professor (University Teacher) Universidade de Lisboa Faculdade de Ciencias, Portugal
Universidade de Lisboa Faculdade de Ciencias, Portugal
2017/02/13 - 2019/09/01 Invited Assistant Professor (University Teacher) Universidade de Lisboa Faculdade de Ciencias, Portugal
2013 - 2016 Assistant (University Teacher) Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
2014/01 - 2014/02 Visiting Professor (University Teacher) Instituto Superior de Ciencias e Tecnologia de Mocambique, Mozambique
2010/09 - 2011/02 Tutor (University Teacher) Universidade de Coimbra, Portugal

Others

Category
Host institution 		Employer
2017/01/01 - 2017/12/27 REST API Architect SmashTech, United States
2016/01/01 - 2016/06/06 Software Architect Sentilant, Portugal
Projects

Grant

Designation Funders
2022/01/13 - 2024/01/12 Resource Aware Programming
EXPL/CCI-COM/1306/2021
FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal

Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Fundação para a Ciência e a Tecnologia
Ongoing
2013/03 - 2017/02 Strategies for Optimization of Parallel Programs
SFRH/BD/84448/2012
 Universidade de Coimbra
2013 - 2014 ICIS - Intelligent Computing in the Internet of Services
CENTRO- 07-ST24-FEDER-002003
PhD Student Fellow
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
Concluded

Contract

Designation Funders
2022/01/15 - 2025/01/14 Data Consistency in Microservices Compositions
PTDC/CCI-COM/2156/2021
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal
Fundação para a Ciência e a Tecnologia
Ongoing
2021/03/01 - 2024/02/29 Safe Concurrent Programming with Session Types
PTDC/CCI-COM/6453/2020
FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal

Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Fundação para a Ciência e a Tecnologia
Ongoing
2021/03/01 - 2024/02/29 THOR - Computer Assisted Thoracic Assessment using POCUS
DSAIPA/AI/0083/2020
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal

Hospital Garcia de Orta EPE, Portugal
Fundação para a Ciência e a Tecnologia
Ongoing
2020/05/01 - 2023/04/30 CAMELOT: autonomiC plAtform for MachinE Learning using anOnymized daTa
45915
Principal investigator
Universidade de Lisboa Faculdade de Ciencias, Portugal

Universidade de Coimbra Centro de Informatica e Sistemas, Portugal

Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Ongoing
2019/01/01 - 2019/12/31 LABORATÓRIO DE SISTEMAS INFORMÁTICOS DE GRANDE-ESCALA
UID/CEC/00408/2019
Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal

FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal

Universidade de Lisboa Faculdade de Ciências, Portugal

LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2019/01/01 - 2019/12/31 CENTRO DE INFORMÁTICA E SISTEMAS DA UNIVERSIDADE DE COIMBRA
UID/CEC/00326/2019
Universidade de Coimbra, Portugal

Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2016/07/01 - 2019/12/31 GreenSoftwareLab: Towards an Engineering Discipline for Green Software
PTDC/EEI-ESS/5341/2014
Universidade do Minho, Portugal

Instituto de Engenharia de Sistemas e Computadores, Portugal

Universidade de Coimbra, Portugal

Associação para a Inovação e Desenvolvimento da FCT, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2018/05/01 - 2019/10/31 Communication Contracts for Distributed Systems Development
PTDC/EEI-CTP/4503/2014
Researcher
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Instituto de Telecomunicações, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2009/11/01 - 2013/04/30 Aeminium: Freeing Programmers from the Shackles of Sequentiality
CMU-PT/SE/0038/2008
Universidade de Coimbra, Portugal

Universidade de Coimbra Centro de Informatica e Sistemas, Portugal

Universidade da Madeira Madeira Interactive Technologies Institute, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
Outputs

Publications

Book chapter
  1. Leon Ingelse; Alcides Fonseca. "Domain-Aware Feature Learning with Grammar-Guided Genetic Programming". 2023.
    10.1007/978-3-031-29573-7_15
  2. Alcides Fonseca; Paulo Santos; Guilherme Espada; Sara Silva. "Grammatical Evolution Mapping for Semantically-Constrained Genetic Programming". 45-62. Singapore: Springer Nature Singapore, 2022.
    10.1007/978-981-16-8113-4_3
  3. Alcides Fonseca; Paulo Santos; Sara Silva. "The Usability Argument for Refinement Typed Genetic Programming". 2020.
    10.1007/978-3-030-58115-2_2
  4. Fonseca, Alcides. "Designing a Neural Network from Scratch for Big Data Powered by Multi-node GPUs". 2019.
    10.1007/978-3-030-11479-4_1
Conference paper
  1. Paulo Canelas; Trenton Tabor; John-Paul Ore; Fonseca, Alcides; Claire Le Goues; Christopher S. Timperley. "Is it a Bug? Understanding Physical Unit Mismatches in Robot Software". Paper presented in International Conference on Robotics and Automation, Yokohama, 2024.
    Accepted
  2. Zimmerman, Conrad; Gamboa, Catarina; Fonseca, Alcides; Aldrich, Jonathan. Corresponding author: Gamboa, Catarina. "Latte: Lightweight Aliasing Tracking for Java". Paper presented in nternational workshop on Aliasing, Capabilities and Ownership, and International Workshop on Human Aspects of Types and Reasoning Assistants, Lisboa, 2023.
  3. Leon Ingelse; José-Ignacio Hidalgo; José Manuel Colmenar; Nuno Lourenço; Alcides Fonseca. "Comparing Individual Representations in Grammar-Guided Genetic Programming for Glucose Prediction in People with Diabetes". 2023.
    10.1145/3583133.3596315
  4. Gamboa, Catarina; Paulo Canelas; Timperley, Christopher; Fonseca, Alcides. "Usability-Oriented Design of Liquid Types for Java". Melbourne, 2023.
    Published • 10.1109/icse48619.2023.00132
  5. Alcides Fonseca; Guilherme Espada; Leon Ingelse; Paulo Canelas; Pedro Barbosa. "Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming". 2022.
    10.1145/3564719.3568697
  6. Fonseca, Alcides; Gamboa, Catarina; David, Joao; Espada, Guilherme; Paulo Canelas. Corresponding author: Fonseca, Alcides. "Understandable and Useful Error Messages for Liquid Types". Paper presented in Workshop on the Implementation of Type Systems, Philadelphia, 2022.
  7. Fonseca, A.; Oliveira, M.. "Figra: Evaluating a larger search space for Cardumen in Automatic Program Repair". 2022.
    10.1145/3524459.3527345
  8. Canelas, P.; Tavares, M.; Cordeiro, R.; Fonseca, A.; Timperley, C.S.. "An Experience Report on Challenges in Learning the Robot Operating System". 2022.
    10.1145/3526071.3527521
  9. Gamboa, Catarina; Paulo Canelas; Christopher Timperley; Fonseca, Alcides. "LiquidJava: Adding Lightweight Verification to Java". Paper presented in INForum 2021 - Informatics Symposium., Lisboa, 2021.
  10. "Augmenting Search-based Techniques with Static Synthesis-based Input Generation". 2021.
    10.1109/sbst52555.2021.00009
  11. Gamboa, Catarina; Paulo Canelas; Christopher Timperley; Fonseca, Alcides. "Extending Java with Refinements (Student Paper)". Paper presented in PSSV’20 - Program Semantics, Specification and Verification: Theory and Applications, 2020.
  12. Santos, Paulo; Fonseca, Alcides. "The Usability Argument for Refined Typed Genetic Programming". Paper presented in Parallel Problem Solve from Nature (PPSN), Leiden, 2020.
    Submitted
  13. Fonseca, Alcides. "Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors". 2018.
    10.1109/edcc.2018.00021
  14. Fonseca, Alcides. "Evaluation of the impact on energy consumption of lazy versus strict evaluation of Haskell data-structures". 2018.
    10.1145/3264637.3264648
  15. Fonseca, Alcides. "Helping developers write energy efficient Haskell through a data-structure evaluation". 2018.
    10.1145/3194078.3194080
  16. Fonseca, A.; Lourenço, N.; Cabral, B.. "Evolving cut-off mechanisms and other work-stealing parameters for parallel programs". 2017.
    10.1007/978-3-319-55849-3_49
  17. Fonseca, Alcides; Cabral, Bruno; Fonseca, A.; Cabral, B.. "Evaluation of Runtime Cut-off Approaches for Parallel Programs". Paper presented in VECPAR 2016, Porto, Portugal, 2016.
    Published • 10.1007/978-3-319-61982-8_13
  18. Fonseca, Alcides Miguel Cachulo Aguiar. "MISO: An intermediate language to express parallel and dependable programs". Paper presented in 12th European Dependable Computing Conference, Gotemburgo, 2016.
    Published
  19. Cabral, Bruno; Fonseca, Alcides; Marques, Paulo; Aldrich, Jonathan; Cabral, B.; Fonseca, A.; Marques, P.; Aldrich, J.. "Cooperative Exceptions for Concurrent Objects". Paper presented in Dependable Computing (PRDC), 2015 IEEE 21st Pacific Rim International Symposium on, Zhangjiajie, 2015.
    Published • 10.1109/PRDC.2015.19
  20. Rafael, J.P.M.; Correia, I.D.V.; Fonseca, Alcides; Cabral, Bruno. "Dependency-Based Automatic Parallelization of Java Applications". Paper presented in Euro-Par 2014: Parallel Processing Workshops, Porto, 2014.
    Published
  21. Fonseca, Alcides; Rafael, J.P.M.; Cabral, Bruno. "Eve: A Parallel Event-Driven Programming Language". Paper presented in Euro-Par 2014: Parallel Processing Workshops, Porto, 2014.
    Published • 10.1016/j.jocs.2016.06.005
  22. Fonseca, Alcides; Cabral, Bruno; Fonseca, A.; Cabral, B.. "Handling Exceptions in Programs with Hidden Concurrency: New Challenges for Old Solutions". Paper presented in ICSE 2012 - 5th International Workshop on Exception Handling, Zurich, 2012.
    Published • 10.1109/WEH.2012.6226591
  23. Fonseca, Alcides; Cabral, Bruno. "ÆminiumGPU: An Intelligent Framework for GPU Programming". Paper presented in Facing the Multicore-Challenge III, Stuttgart, 2012.
    Published • 10.1007/978-3-642-35893-7_9
  24. Fonseca, Alcides; Machado, Diogo; Rodrigues, João; Roque, Licínio. "SpaceWar For Survival – a coopetition-based game". Paper presented in VIDEOJOGOS 2010, Lisboa, 2010.
    Published
Conference poster
  1. Gamboa, Catarina; Fonseca, Alcides; Aldrich, Jonathan. "Poster - LiquidJava: Improving the Usability of Liquid Types for Reliable Software". Paper presented in 2022 CyLab Partners Conference, at Carnegie Mellon University, Pittsburgh, 2022.
  2. Fonseca, Alcides. "Refined typed genetic programming as a user interface for genetic programming". 2020.
    10.1145/3377929.3390042
  3. Santos, Paulo; Fonseca, Alcides. "Refined Typed Genetic Programming as an user interface for Genetic Programming". Paper presented in GECCO, 2020.
  4. Santos, Paulo; Fonseca, Alcides. "Programação Genética com Tipos Refinados e Dependentes". Paper presented in Inforum 2019, 2019.
Journal article
  1. Fabricio Olivetti de Franca; Marco Virgolin; M. Kommenda; M. S. Majumder; M. Cranmer; G. Espada; L. Ingelse; et al. "SRBench++: Principled Benchmarking of Symbolic Regression With Domain-Expert Interpretation". IEEE Transactions on Evolutionary Computation (2024): http://dx.doi.org/10.1109/tevc.2024.3423681.
    10.1109/tevc.2024.3423681
  2. Pedro Barbosa; Rosina Savisaar; Maria Carmo-Fonseca; Alcides Fonseca. "Computational prediction of human deep intronic variation". GigaScience 12 (2022): http://dx.doi.org/10.1093/gigascience/giad085.
    10.1093/gigascience/giad085
  3. Barbosa, P.; Ribeiro, M.; Carmo-Fonseca, M.; Fonseca, A.. "Clinical significance of genetic variation in hypertrophic cardiomyopathy: comparison of computational tools to prioritize missense variants". Frontiers in Cardiovascular Medicine 9 (2022): http://www.scopus.com/inward/record.url?eid=2-s2.0-85137211857&partnerID=MN8TOARS.
    10.3389/fcvm.2022.975478
  4. Barbosa, Raul; Fonseca, Alcides; Araujo, Filipe. "Reductions and abstractions for formal verification of distributed round-based algorithms". Software Quality Journal (2021): http://dx.doi.org/10.1007/s11219-020-09539-6.
    Published • 10.1007/s11219-020-09539-6
  5. Fonseca, Alcides. "A Manifesto for Energy-Aware Software". IEEE Software (2019): http://dx.doi.org/10.1109/ms.2019.2924498.
    10.1109/ms.2019.2924498
  6. Cerveira, F.; Fonseca, A.; Barbosa, R.; Madeira, H.S.. "Soft error sensitivity and vulnerability of languages and their implementations". International Journal of Critical Computer-Based Systems 9 4 (2019): 318-347. http://www.scopus.com/inward/record.url?eid=2-s2.0-85084348777&partnerID=MN8TOARS.
    10.1504/IJCCBS.2019.106823
  7. Alcides Fonseca; Bruno Cabral. "Overcoming the No Free Lunch Theorem in Cut-off Algorithms for Fork-Join programs". Parallel Computing 76 (2018): 42-56. https://doi.org/10.1016/j.parco.2018.04.005.
    10.1007/978-3-642-35893-7-9
  8. Alcides Fonseca; Frederico Cerveira; Bruno Cabral; Raul Barbosa. "Language-Based Expression of Reliability and Parallelism for Low-Power Computing". IEEE Transactions on Sustainable Computing (2018): 1-1. https://doi.org/10.1109/TSUSC.2017.2771376.
    10.1109/TSUSC.2017.2771376
  9. Fonseca, A.; Cabral, B.. "Understanding the impact of task granularity in the energy consumption of parallel programs". Sustainable Computing: Informatics and Systems 17 (2018): 69-80. http://www.scopus.com/inward/record.url?eid=2-s2.0-85034052494&partnerID=MN8TOARS.
    10.1016/j.suscom.2017.10.014
  10. Alcides Fonseca; Bruno Cabral. "Prototyping a GPGPU Neural Network for Deep-Learning Big Data Analysis". Big Data Research 8 (2017): 50-56. https://doi.org/10.1016/j.bdr.2017.01.005.
    10.1016/j.bdr.2017.01.005
  11. Fonseca, Alcides; Cabral, Bruno; Rafael, João; Correia, Ivo. "Automatic Parallelization: Executing Sequential Programs on a Task-Based Parallel Runtime". International Journal of Parallel Programming 44 6 (2016): 1337-1358.
    Published • 10.1007/s10766-016-0426-5
  12. Fonseca, Alcides; Cabral, Bruno; Fonseca, A.; Cabral, B.. "Controlling the granularity of automatic parallel programs". Journal of Computational Science 17 0 (2016): 0-0. http://www.scopus.com/inward/record.url?eid=2-s2.0-84978879470&partnerID=MN8TOARS.
    Published • 10.1016/j.jocs.2016.06.005
  13. Stork, Sven; Naden, Karl; Sunshine, Joshua; Mohr, Manuel; Fonseca, Alcides; Marques, Paulo; Aldrich, Jonathan; et al. "Aeminium: A permission-based concurrent-by-default programming language approach". ACM Transactions on Programming Languages and Systems (TOPLAS) 36 1 (2014): 2-2. http://www.scopus.com/inward/record.url?eid=2-s2.0-84896965101&partnerID=MN8TOARS.
    Published • 10.1016/j.jocs.2016.06.005
  14. Stork, S.; Naden, K.; Sunshine, J.; Mohr, M.; Fonseca, A.; Marques, P.; Aldrich, J.. "Æminium: A permission-based concurrent-by-default programming language approach". ACM Transactions on Programming Languages and Systems 36 1 (2014): http://www.scopus.com/inward/record.url?eid=2-s2.0-84896965101&partnerID=MN8TOARS.
    10.1145/2543920
Preprint
  1. Pedro Barbosa; Rosina Savisaar; Maria Carmo-Fonseca; Alcides Fonseca. "Computational prediction of human deep intronic variation". 2023. https://doi.org/10.1101/2023.02.17.528928.
    10.1101/2023.02.17.528928
Thesis / Dissertation
  1. Fonseca, Alcides Miguel Cachulo Aguiar. "Automatic Optimization of Granularity Control Algorithms for Parallel Programs". 2017. http://hdl.handle.net/10316/32304.

Other

Other output
  1. Interpretable Symbolic Regression for Data Science: Analysis of the 2022 Competition. 2023. de Franca, F.O.; Virgolin, M.; Kommenda, M.; Majumder, M.S.; Cranmer, M.; Espada, G.; Ingelse, L.; et al. http://www.scopus.com/inward/record.url?eid=2-s2.0-85153595832&partnerID=MN8TOARS.
    10.48550/arXiv.2304.01117
  2. Type Systems in Resource-Aware Programming: Opportunities and Challenges. 2022. Fonseca, A.; Espada, G.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85132169755&partnerID=MN8TOARS.
    10.48550/arXiv.2205.15211
  3. Data types as a more ergonomic frontend for Grammar-Guided Genetic Programming. 2022. Espada, G.; Ingelse, L.; Canelas, P.; Barbosa, P.; Fonseca, A.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85140423550&partnerID=MN8TOARS.
    10.48550/arXiv.2210.04826
  4. User-driven design and evaluation of liquid types in Java. 2021. Gamboa, C.; Santos, P.A.; Timperley, C.S.; Fonseca, A.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85117914450&partnerID=MN8TOARS.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2018 Machine Learning Artificial Intelligence Meetup
Sky Technology (Lisbin, Portugal)
2016 Functional programming with and without Haskell Coimbra Code #3
NEST (Coimbra, Portugal)
2015 Programming with GPUs - How we have a Ferrari next to our 2CV SAPO Sessions
SAPO - Portugal Telecom (Lisbon, Portugal)
2013 Programming with Python Jornadas de Informática
Universidade da Beira Interior (Covilhã, Portugal)
2012 What’s all the fuss about Functional Programming (with Haskell) Codebits VI
SAPO - Portugal Telecom (Lisbon, Portugal)
2012 Prediction Techniques for Business Intelligence Business Intelligence Master Course
University of Coimbra (Coimbra)
2011 The Future of Programming Languages Sapo Codebits V
SAPO - Portugal Telecom (Lisbon, Portugal)
2010 Usability in Multimedia Applications Multimedia Course
University of Coimbra (Coimbra, Portugal)
2008 Take Your Contacts With You Barcamp Portugal
(Coimbra, Portugal)
2008 Dynamic Languages on .NET (IronPython e IronRuby) Microsoft TechDays
Microsoft (Lisbon, Portugal)
2008 IronPython and XNA Microsoft ImagineCup Roadshow 2008
Microsoft (Coimbra, Portugal)

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2023/01 - Current Program Synthesis with Liquid Types
Supervisor of Eduardo Madeira
 Software Engineering (Master)
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Universidade de Lisboa Faculdade de Ciencias, Portugal
2022/09/01 - Current Detection of Transaction Consistency Problems in Microservices
Co-supervisor of André Silva
 Software Engineering (Master)
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Universidade de Lisboa Faculdade de Ciencias, Portugal
2020/10/01 - Current Stochastic Resource Analysis of Programs
Supervisor of Guilherme Espada
 Computer Science (PhD)
Universidade de Lisboa Faculdade de Ciencias, Portugal

Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2020/10/01 - Current Specification-Guided Repair for Robotic Systems
Supervisor of Paulo Santos
 Computer Science (PhD)
Universidade de Lisboa Faculdade de Ciencias, Portugal

Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Carnegie Mellon University, United States
2020/01/06 - Current Improving the Usability of Liquid Types for Reliable Software
Supervisor of Catarina Gamboa
 Duas Degree in Computer Science (PhD)
Carnegie Mellon University, United States

Universidade de Lisboa Faculdade de Ciencias, Portugal
2018/09 - Current Modelling the impact of deep intronic mutations on the human disease
Supervisor of Pedro Barbosa
 PhD in Informatics (PhD)
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Universidade de Lisboa Faculdade de Ciencias, Portugal

Universidade de Lisboa Instituto de Medicina Molecular, Portugal
2022 - 2023 Adding Separation Logic Support to LiquidJava
Supervisor of Kirill Golubev
 Computer Science (Master)
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Universitet ITMO Fakul'tet podgotovki kadrov vyssej kvalifikacii, Russia
2021/09/01 - 2022/07/01 Optimization of Feature Learning through Grammar-Guided Genetic Programming
Supervisor of Leon Ingelse
 Data Science (Master)
Universidade de Lisboa Faculdade de Ciencias, Portugal

Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2020/09/01 - 2022/01/31 Refined Java: adding optional refinements to the Java language
Supervisor of Catarina Gamboa
 Computer Science (Master)
Universidade de Lisboa Faculdade de Ciencias, Portugal
2021 - 2022 Formalization and Runtime Verification of Invariants for Robotic Systems
Supervisor of Ricardo Cordeiro
 Software Engineering (Master)
Universidade de Lisboa Faculdade de Ciencias, Portugal

Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2021 - 2022 RobotFix: Detecting Bugs On Variables In Robot Programs
Supervisor
 Software Engineering (Master)
Universidade de Lisboa Faculdade de Ciencias, Portugal

Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2020/09/09 - 2021/09/01 Bio-inspired optimization algorithms for unit test generation
Co-supervisor
 Software Engineering (Master)
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Universidade de Lisboa Faculdade de Ciencias, Portugal
2020/09/01 - 2021/07/04 Improving Machine Learning Pipeline Creation using Visual Programming and Static Analysis
Supervisor of João David
 Computer Science (Master)
Universidade de Lisboa Faculdade de Ciencias, Portugal
2020/09/01 - 2021/07/01 Exploring a Larger Search Space for Automatic Program Repair
Supervisor of Máximo Oliveira
 COmputer Science (Master)
Universidade de Lisboa Faculdade de Ciencias, Portugal
2019/09/01 - 2020/10/01 Towards the Conceptualization of Refinement Typed Genetic Programming
Supervisor of Paulo Santos
 Computer Engineering (Master)
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2019/09 - 2020/07 Automatic Conversion of Ada Source Code to Scala
Supervisor of Guilherme Espada
 Computer Engineering (Master)
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2018/09/01 - 2020/04/30 Centralization of service configurations on a (micro-)service environment
Supervisor
 Computer Engineering (Master)
Universidade de Lisboa Faculdade de Ciencias, Portugal
2017/09 - 2018/07 Mobile App Development to support Inspection Processes
Supervisor
 Computer Engineering (Master)
Universidade de Lisboa Faculdade de Ciencias, Portugal
2015/09 - 2016/06 Wayfinding for the Architecture Department
Co-supervisor
 Design and Multimedia (Master)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2014 - 2015 TaxiFind - an app for efficient Taxi hailing
Supervisor
 Computer Informatics (Degree)
Instituto Superior de Ciencias e Tecnologia de Mocambique, Mozambique
2012 - 2013 Optimization of Aeminium Programs
Co-supervisor
 Computer Engineering (Master)
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
2012 - 2013 JPar Compiler Improvement
Co-supervisor
 Computer Engineering (Scientific initiation)
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
2011 - 2012 JPar: Compiler from Java to Parallel Java
Co-supervisor
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
2011 - 2012 Development of the Aeminium Profiler
Co-supervisor
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2023/03 - Current ICSE 2024 (2023)
Conference (Member of the Organising Committee)
2023/01 - Current GECCO 2023 Local Organization (2023/07/20)
2023/01 - Current SPLASH 2023 Publicity and Web Co-Chair (2023/11/19)
Conference (Member of the Organising Committee)
2022 - Current ICT4S 2022 - Student Volunteer Co-Chair (2022/06/01)
Conference (Member of the Organising Committee)
2009 - Current Professional Workshops on Git, Python, Django, Javascript, Web programming (2009)
Workshop (Co-organisor)
2008 - Current Learning to Program (for 8th graders) (2008)
Workshop (Co-organisor)
 Escola Secundária Alice Gouveia, Portugal
2011 - 2011 Programming with CUDA, GPU Workshop, U. Coimbra (2011)
Workshop (Co-organisor)
 Universidade de Coimbra, Portugal

University of Texas at Austin, United States

NVIDIA Corp, United States
2007 - 2009 Take Off - Organized an annual conference on Innovation and Entrepreneurship, gathering people from startups and big compa- nies that were once startups. (2007 - 2009)
Conference (President of the Organising Committee)

Jury of academic degree

Topic
Role 		Candidate name (Type of degree)
Institution / Organization
2019 A model for widget composition in the OutSystems Platform
(Thesis) Main arguer
 João Gonçalves (Master)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2018 Migração do Observatório Português de Acessibilidade Web
(Thesis) Main arguer
 João Vicente (Master)
Universidade de Lisboa Faculdade de Ciencias, Portugal
2016 Accessibility and Usability of the AudioGuide System for the Sesimbra Nautical Museum
(Thesis) Arguer
 Filipa Diniz (Master)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2016 Robustness evaluation in Virtualized Systems
(Thesis) Arguer
 Diogo Carvalho (Master)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2016 Medical Authorization System for Mobile Apps @ MedicineOne
(Thesis) Arguer
 Marco Pereira (Master)
2015 Visualization and analysis of geographic information: algorithms and data structures
(Thesis) Arguer
 João Valença (Master)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2015 Game Development @ Wingzstudio
(Thesis) Arguer
 Daniel Carvalho (Master)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2015 Polynomial learning game
(Thesis) Arguer
 Ricardo barroca (Master)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2015 UX Express @ Tangível
(Thesis) Arguer
 Miguel Jesus (Master)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2014 Oratio Classroom
(Thesis) Arguer
 João Paul (Master)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2014 Exomars Testing @ Critical Software
(Thesis) Arguer
 Armando Rodrigues (Master)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2014 CrowdPlay - Crowdsourcing Gameplay Experiences
(Thesis) Arguer
 João Amsellem (Master)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2014 Communication Suite for BlackBerry 10 @ WIT
(Thesis) Arguer
 Filipe Figueiredo (Master)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2013 Mobility over IP
(Thesis) Arguer
 Mara Martins (Master)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2013 eCommerce Front-office development @ Pixmania
(Thesis) Arguer
 Daniel Castanheira (Master)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2013 csSECURE - Business Intelligence
(Thesis) Arguer
 Pedro Almeida (Master)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2013 A programming language for parallel event-driven development
(Thesis) Arguer
 João Rafael (Master)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2013 MOONRISE: Modeling open semantic service relationships
(Thesis) Arguer
 Diana São Miguel (Master)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal

Association member

Society Organization name Role
2007/08 - 2008/02 JeKnowledge

Committee member

Activity description
Role 		Institution / Organization
2018/01/06 - 2020/01/06 LASIGE Executive Comission Member
Member
 Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Conference scientific committee

Conference name Conference host
2018 - Current Iberian Conference on Information Systems and Technologies
2018 - Current World Conference on Information Systems and Technologies
2018 - Current International Conference on Big Data and Advanced Wireless Technologies
2022 - 2023 Programming Language Design and Implementation (PLDI'23)

Consulting

Activity description Institution / Organization
2018/01/01 - Current Scientific Advisor GENOMED, Portugal

Evaluation committee

Activity description
Role 		Institution / Organization Funding entity
2023/07/01 - 2023/07/01 FCT PhD Scholarship Evaluation 2023
Evaluator
 Fundação para a Ciência e a Tecnologia, Portugal Fundação para a Ciência e a Tecnologia

Interview (tv / radio show)

Program Topic
2016 - 2018 Regular Guest at Geek Freak Pop culture

Other jury / evaluation

Activity description Institution / Organization
2019 - Current 8 BSc-level research grant for the LASIGE research centre. Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2019 - Current Junior research grant for the Confident Project Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2019 - Current BSc-level research grant for the Confident Project Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2018 - Current 10 BSc-level research grant for the LASIGE research centre. Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2018 - Current BSc-level science and technology management grant for LASIGE Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2018 - Current MSc-level science and technology management grant for LASIGE Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Distinctions

Award

2019 Pixels.camp Hackathon 1st place
2018 Pixels.camp Hackathon 1st place
2017 Pixels.camp Hackathon 6th Place

Other distinction

2010 3% Melhores Alunos da Faculdade
Universidade de Coimbra, Portugal
2009 3% Melhores Alunos da Faculdade
Universidade de Coimbra, Portugal
2008 3% Melhores Alunos da Faculdade
Universidade de Coimbra, Portugal
2007 Microsoft Student Partner
Microsoft, Portugal