???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; .
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Alcides Aguiar Fonseca

Nomes de citação

  • Fonseca, Alcides

Identificadores de autor

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

Endereços de correio eletrónico

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

Websites

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Francês Utilizador elementar (A1) Utilizador proficiente (C1) Utilizador elementar (A1) Utilizador proficiente (C1)
Japonês Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1)
Formação
Grau Classificação
2012
Concluído
 Ciências e Tecnologias da Informação (Doutoramento)
Especialização em Sem especialidade
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
"Automatic Optimization of Granularity Control Algorithms for Parallel Programs" (TESE/DISSERTAÇÃO)
2009 - 2011
Concluído
 Mestrado em Engenharia Informática (Mestrado)
Universidade de Coimbra, Portugal
"ÆminiumGPU: A CPU-GPU Hybrid Runtime for the Æminium Language" (TESE/DISSERTAÇÃO)
 18
2006 - 2009
Concluído
 Licenciatura em Engenharia Informática (Licenciatura)
Universidade de Coimbra, Portugal
 16
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2017/03/13 - Atual Investigador (Investigação) Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Universidade de Lisboa Faculdade de Ciencias, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2023/11/01 - Atual Professor Associado (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal
2018/09/01 - 2023/10/31 Professor Auxiliar (Docente Universitário) Universidade de Lisboa Faculdade de Ciencias, Portugal
Universidade de Lisboa Faculdade de Ciencias, Portugal
2017/02/13 - 2019/09/01 Professor Auxiliar Convidado (Docente Universitário) Universidade de Lisboa Faculdade de Ciencias, Portugal
2013 - 2016 Assistente (Docente Universitário) Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
2014/01 - 2014/02 Professor Visitante (Docente Universitário) Instituto Superior de Ciencias e Tecnologia de Mocambique, Moçambique
2010/09 - 2011/02 Monitor (Docente Universitário) Universidade de Coimbra, Portugal

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
2017/01/01 - 2017/12/27 REST API Architect SmashTech, Estados Unidos
2016/01/01 - 2016/06/06 Software Architect Sentilant, Portugal
Projetos

Bolsa

Designação Financiadores
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
Em curso
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
Bolseiro de Doutoramento
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
Concluído

Projeto

Designação Financiadores
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
Em curso
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
Em curso
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
Em curso
2020/05/01 - 2023/04/30 CAMELOT: autonomiC plAtform for MachinE Learning using anOnymized daTa
45915
Investigador responsável
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
Em curso
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
Concluído
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
Concluído
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
Concluído
2018/05/01 - 2019/10/31 Communication Contracts for Distributed Systems Development
PTDC/EEI-CTP/4503/2014
Investigador
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
Concluído
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
Concluído
Produções

Publicações

Artigo em conferência
  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". Trabalho apresentado em International Conference on Robotics and Automation, Yokohama, 2024.
    Aceite para publicação
  2. Zimmerman, Conrad; Gamboa, Catarina; Fonseca, Alcides; Aldrich, Jonathan. Autor correspondente: Gamboa, Catarina. "Latte: Lightweight Aliasing Tracking for Java". Trabalho apresentado em 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.
    Publicado • 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. Autor correspondente: Fonseca, Alcides. "Understandable and Useful Error Messages for Liquid Types". Trabalho apresentado em 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". Trabalho apresentado em 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)". Trabalho apresentado em PSSV’20 - Program Semantics, Specification and Verification: Theory and Applications, 2020.
  12. Santos, Paulo; Fonseca, Alcides. "The Usability Argument for Refined Typed Genetic Programming". Trabalho apresentado em Parallel Problem Solve from Nature (PPSN), Leiden, 2020.
    Submetido
  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". Trabalho apresentado em VECPAR 2016, Porto, Portugal, 2016.
    Publicado • 10.1007/978-3-319-61982-8_13
  18. Fonseca, Alcides Miguel Cachulo Aguiar. "MISO: An intermediate language to express parallel and dependable programs". Trabalho apresentado em 12th European Dependable Computing Conference, Gotemburgo, 2016.
    Publicado
  19. Cabral, Bruno; Fonseca, Alcides; Marques, Paulo; Aldrich, Jonathan; Cabral, B.; Fonseca, A.; Marques, P.; Aldrich, J.. "Cooperative Exceptions for Concurrent Objects". Trabalho apresentado em Dependable Computing (PRDC), 2015 IEEE 21st Pacific Rim International Symposium on, Zhangjiajie, 2015.
    Publicado • 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". Trabalho apresentado em Euro-Par 2014: Parallel Processing Workshops, Porto, 2014.
    Publicado
  21. Fonseca, Alcides; Rafael, J.P.M.; Cabral, Bruno. "Eve: A Parallel Event-Driven Programming Language". Trabalho apresentado em Euro-Par 2014: Parallel Processing Workshops, Porto, 2014.
    Publicado • 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". Trabalho apresentado em ICSE 2012 - 5th International Workshop on Exception Handling, Zurich, 2012.
    Publicado • 10.1109/WEH.2012.6226591
  23. Fonseca, Alcides; Cabral, Bruno. "ÆminiumGPU: An Intelligent Framework for GPU Programming". Trabalho apresentado em Facing the Multicore-Challenge III, Stuttgart, 2012.
    Publicado • 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". Trabalho apresentado em VIDEOJOGOS 2010, Lisboa, 2010.
    Publicado
Artigo em revista
  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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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
Capítulo de livro
  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. Singapura: 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
Poster em conferência
  1. Gamboa, Catarina; Fonseca, Alcides; Aldrich, Jonathan. "Poster - LiquidJava: Improving the Usability of Liquid Types for Reliable Software". Trabalho apresentado em 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". Trabalho apresentado em GECCO, 2020.
  4. Santos, Paulo; Fonseca, Alcides. "Programação Genética com Tipos Refinados e Dependentes". Trabalho apresentado em Inforum 2019, 2019.
Pré-impressão
  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
Tese / Dissertação
  1. Fonseca, Alcides Miguel Cachulo Aguiar. "Automatic Optimization of Granularity Control Algorithms for Parallel Programs". 2017. http://hdl.handle.net/10316/32304.

Outros

Outra produção
  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.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
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)

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2023/01 - Atual Program Synthesis with Liquid Types
Orientador de Eduardo Madeira
 Software Engineering (Mestrado)
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

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

Universidade de Lisboa Faculdade de Ciencias, Portugal
2020/10/01 - Atual Stochastic Resource Analysis of Programs
Orientador de Guilherme Espada
 Computer Science (Doutoramento)
Universidade de Lisboa Faculdade de Ciencias, Portugal

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

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

Carnegie Mellon University, Estados Unidos
2020/01/06 - Atual Improving the Usability of Liquid Types for Reliable Software
Orientador de Catarina Gamboa
 Duas Degree in Computer Science (Doutoramento)
Carnegie Mellon University, Estados Unidos

Universidade de Lisboa Faculdade de Ciencias, Portugal
2018/09 - Atual Modelling the impact of deep intronic mutations on the human disease
Orientador de Pedro Barbosa
 PhD in Informatics (Doutoramento)
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
Orientador de Kirill Golubev
 Computer Science (Mestrado)
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Universitet ITMO Fakul'tet podgotovki kadrov vyssej kvalifikacii, Rússia
2021/09/01 - 2022/07/01 Optimization of Feature Learning through Grammar-Guided Genetic Programming
Orientador de Leon Ingelse
 Data Science (Mestrado)
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
Orientador de Catarina Gamboa
 Computer Science (Mestrado)
Universidade de Lisboa Faculdade de Ciencias, Portugal
2021 - 2022 Formalization and Runtime Verification of Invariants for Robotic Systems
Orientador de Ricardo Cordeiro
 Software Engineering (Mestrado)
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
Orientador
 Software Engineering (Mestrado)
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
Coorientador
 Software Engineering (Mestrado)
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
Orientador de João David
 Computer Science (Mestrado)
Universidade de Lisboa Faculdade de Ciencias, Portugal
2020/09/01 - 2021/07/01 Exploring a Larger Search Space for Automatic Program Repair
Orientador de Máximo Oliveira
 COmputer Science (Mestrado)
Universidade de Lisboa Faculdade de Ciencias, Portugal
2019/09/01 - 2020/10/01 Towards the Conceptualization of Refinement Typed Genetic Programming
Orientador de Paulo Santos
 Computer Engineering (Mestrado)
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
Orientador de Guilherme Espada
 Computer Engineering (Mestrado)
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
Orientador
 Computer Engineering (Mestrado)
Universidade de Lisboa Faculdade de Ciencias, Portugal
2017/09 - 2018/07 Mobile App Development to support Inspection Processes
Orientador
 Computer Engineering (Mestrado)
Universidade de Lisboa Faculdade de Ciencias, Portugal
2015/09 - 2016/06 Wayfinding for the Architecture Department
Coorientador
 Design and Multimedia (Mestrado)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2014 - 2015 TaxiFind - an app for efficient Taxi hailing
Orientador
 Computer Informatics (Licenciatura/Bacharelato)
Instituto Superior de Ciencias e Tecnologia de Mocambique, Moçambique
2012 - 2013 Optimization of Aeminium Programs
Coorientador
 Computer Engineering (Mestrado)
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
2012 - 2013 JPar Compiler Improvement
Coorientador
 Computer Engineering (Iniciação científica)
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
2011 - 2012 JPar: Compiler from Java to Parallel Java
Coorientador
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
2011 - 2012 Development of the Aeminium Profiler
Coorientador
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2023/03 - Atual ICSE 2024 (2023)
Conferência (Membro da Comissão Organizadora)
2023/01 - Atual GECCO 2023 Local Organization (2023/07/20)
2023/01 - Atual SPLASH 2023 Publicity and Web Co-Chair (2023/11/19)
Conferência (Membro da Comissão Organizadora)
2022 - Atual ICT4S 2022 - Student Volunteer Co-Chair (2022/06/01)
Conferência (Membro da Comissão Organizadora)
2009 - Atual Professional Workshops on Git, Python, Django, Javascript, Web programming (2009)
Oficina (workshop) (Coorganizador)
2008 - Atual Learning to Program (for 8th graders) (2008)
Oficina (workshop) (Coorganizador)
 Escola Secundária Alice Gouveia, Portugal
2011 - 2011 Programming with CUDA, GPU Workshop, U. Coimbra (2011)
Oficina (workshop) (Coorganizador)
 Universidade de Coimbra, Portugal

University of Texas at Austin, Estados Unidos

NVIDIA Corp, Estados Unidos
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)
Conferência (Presidente da Comissão Organizadora)

Júri de grau académico

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

Arbitragem científica em conferência

Nome da conferência Local da conferência
2018 - Atual Iberian Conference on Information Systems and Technologies
2018 - Atual World Conference on Information Systems and Technologies
2018 - Atual International Conference on Big Data and Advanced Wireless Technologies
2022 - 2023 Programming Language Design and Implementation (PLDI'23)

Comissão de avaliação

Descrição da atividade
Tipo de assessoria 		Instituição / Organização Entidade financiadora
2023/07/01 - 2023/07/01 FCT PhD Scholarship Evaluation 2023
Avaliador
 Fundação para a Ciência e a Tecnologia, Portugal Fundação para a Ciência e a Tecnologia

Consultoria / Parecer

Descrição da atividade Instituição / Organização
2018/01/01 - Atual Scientific Advisor GENOMED, Portugal

Entrevista / Programa (rádio / tv)

Programa Tema
2016 - 2018 Regular Guest at Geek Freak Pop culture

Membro de associação

Nome da associação Tipo de participação
2007/08 - 2008/02 JeKnowledge

Membro de comissão

Descrição da atividade
Tipo de participação 		Instituição / Organização
2018/01/06 - 2020/01/06 LASIGE Executive Comission Member
Membro
 Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Outro júri / avaliação

Descrição da atividade Instituição / Organização
2019 - Atual 8 BSc-level research grant for the LASIGE research centre. Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2019 - Atual Junior research grant for the Confident Project Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2019 - Atual BSc-level research grant for the Confident Project Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2018 - Atual 10 BSc-level research grant for the LASIGE research centre. Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2018 - Atual BSc-level science and technology management grant for LASIGE Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2018 - Atual MSc-level science and technology management grant for LASIGE Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Distinções

Prémio

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

Outra distinção

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