???global.info.a_carregar???
NOVA LINCS Group: Software Systems. Research Topics: - Programming Languages; Linear Logic; Session Types; Type Theory; Meta-Programming Google Scholar: https://scholar.google.com/citations?user=LqQoVtgAAAAJ&hl=en I completed my PhD in Computer Science at Carnegie Mellon University and Universidade Nova de Lisboa (Dual degree) in 2015, where I developed a logical foundation for message-passing concurrent programming. From 2015 to 2018 I was a research associate (post-doctoral researcher) at Imperial College London in Prof. Nobuko Yoshida's concurrency research group, where I both continued my PhD work and expanded my focus to include program verification and other compile-time analysis techniques for concurrent and distributed systems. I was hired in 2018 as an assistant professor at FCT NOVA's Computer Science department and an integrated researcher in NOVA LINCS. I was promoted to associate professor in January 2024. Throughout my employment at FCT NOVA I have been a co-coordinator of the study program in Iniciação à Investigação Cientifica, (elected) member of the Computer Science Department council, a member of the executive board of the Computer Science Department and an (elected) member of the Steering Committee of NOVA LINCS. I have been a Program Committee member of several highly-esteemed conferences in my area of research (e.g. SPLASH 2023 and 2024, ICFP 2022, ESOP 2022, CONCUR 2021). I am the general chair of LICS 2026. I have received a distinguished paper award at ECOOP 2022 and INFORUM 2022, a 10-year Most Influential Paper Award at PPDP 2021 and a distinguished reviewer award at ESOP 2022. I co-chaired the Programming Languages Mentoring Workshop at POPL 2019 and was an organizer and scientific committee member of the EUTOPIA Doctoral Summer School (NOVA) in 2023. Throughout my career I have participated in multiple international and national research projects, being a part of the project proposal development in the ongoing Horizon-EU funded TaRDIS project and in the concluded FCT MCTES / CMU Portugal-funded project GOLEM. I am supervising a PhD student under the CMU Portugal dual PhD program and have successfully supervised 12 MSc students. Selected Publications: - Featherweight Go. R. Griesemer, R. Hu, W. Kokke, J. Lange, I. L. Taylor, B. Toninho, P. Wadler, N. Yoshida. Proceedings of the ACM on Programming Languages 3 (OOPSLA), 2020. - Ferrite: A judgmental embedding of session types in Rust. R. Chen, S. Balzer, B. Toninho. ECOOP, 2022. Distinguished Paper. - Linear logic propositions as session types. L Caires, F Pfenning, B Toninho. Mathematical Structures in Computer Science 26 (3), 2016. - A static verification framework for message passing in Go using behavioural types. N. Yoshida, J. Lange, N. Ng, B. Toninho. International Conference on Software Engineering (ICSE), 2018. - Refinement kinds: type-safe programming with practical type-level computation. L Caires, B Toninho. Proceedings of the ACM on Programming Languages 3 (OOPSLA), 2019.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Bernardo Toninho

Nomes de citação

  • Toninho, Bernardo

Identificadores de autor

Ciência ID
6210-E4BB-0B8E
ORCID iD
0000-0002-0746-7514
Google Scholar ID
LqQoVtgAAAAJ

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação
  • Ciências Exatas - Ciências da Computação e da Informação
  • Ciências Exatas - Ciências da Computação e da Informação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Português Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Francês Utilizador elementar (A1) Utilizador independente (B1) Utilizador independente (B1) Utilizador elementar (A1)
Espanhol; Castelhano Utilizador independente (B1) Utilizador proficiente (C1) Utilizador independente (B1) Utilizador independente (B1)
Formação
Grau Classificação
2015
Concluído
 Doctorate in Informatics (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
"A Logical Foundation for Session-based Concurrent Computation" (TESE/DISSERTAÇÃO)
 n/a
2015
Concluído
 Doctor of Philosophy in Computer Science (Doutoramento)
Carnegie Mellon University, Estados Unidos
"A Logical Foundation for Session-based Concurrent Computation" (TESE/DISSERTAÇÃO)
 n/a
2012
Concluído
 Master of Science in Computer Science (Mestrado)
Carnegie Mellon University, Estados Unidos
"n/a" (TESE/DISSERTAÇÃO)
 n/a
2009
Concluído
 Master of Informatics Engineering (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
"A Logic and Tool for Local Reasoning about Security Protocols" (TESE/DISSERTAÇÃO)
 18
2007
Concluído
 Informatics Engineering (Licenciatura)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
 14
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2025/03 - Atual Investigador (Investigação) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2018 - 2025 Investigador (Investigação) Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2025/03 - Atual Professor Associado (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
Universidade de Lisboa Instituto Superior Técnico, Portugal
2024/01 - 2025/02 Professor Associado (Docente Universitário) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018/02/01 - 2024/01 Professor Auxiliar (Docente Universitário) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
2015/06/01 - 2018/01/01 Research Associate (Investigador Pós-Doutoral) Imperial College London, Reino Unido
Projetos

Projeto

Designação Financiadores
2023 - 2026/12 TaRDIS - Trustworthy and Resilient Decentralised Intelligence for Edge Systems
101093006
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
 Horizon 2020
Em curso
2020/04/01 - 2023/03/31 Automated Programming to Revolutionize App Development (GOLEM)
LISBOA-01-0247-FEDER-045917
Investigador
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2018/03/01 - 2023 Behavioural Application Program Interfaces (BehAPI)
778233
Investigador
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
Concluído
2015/07/17 - 2018/06/29 Conversation-Based Governance for Distributed Systems by Multiparty Session Types
info:eu-repo/grantAgreement/RCUK/EPSRC/EP2%FK0117152%F1/GB
Investigador
Fundação para a Ciência e a Tecnologia
2017/05/20 - 2018/02/15 From Data Types to Session Types---A Basis for Concurrency and Distribution
info:eu-repo/grantAgreement/RCUK/EPSRC/EP2%FK0344132%F1/GB
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
2012/10/26 - 2016/10/25 Behavioural Types for Reliable Large- Scale Software Systems
COST Action IC1201
Investigador
Concluído
2009/09/01 - 2013/06/01 Certified Interfaces for Integrity and Security in Extensible Web-based Applications
info:eu-repo/grantAgreement/FCT/3599-PPCDT/83884/PT
Bolseiro de Doutoramento
Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Caires, Luis; Toninho, Bernardo. "The Session Abstract Machine". Trabalho apresentado em Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, 2024.
  2. De Sá, Luiz; Toninho, Bernardo; Pfenning, Frank. "Intuitionistic Metric Temporal Logic". Trabalho apresentado em 25th International Symposium on Principles and Practice of Declarative Programming (PPDP), 2023.
    Publicado • 10.1145/3610612.3610621
  3. Costa Seco, João; Aldrich, Jonathan; Carvalho, Luís; Toninho, Bernardo; Ferreira, Carla. "Derivations with Holes for Concept-Based Program Synthesis". Trabalho apresentado em Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2022, 2022.
    Publicado • 10.1145/3563835.3567658
  4. Ruo Fei Chen; Stephanie Balzer; Bernardo Toninho. "Ferrite: A Judgmental Embedding of Session Types in Rust". Trabalho apresentado em 36th European Conference on Object-Oriented Programming, ECOOP 2022, 2022.
    Publicado • 10.4230/LIPIcs.ECOOP.2022.22
  5. Toninho, Bernardo; Caires, Luís; Pfenning, Frank. "A Decade of Dependent Session Types". Trabalho apresentado em 23th International Symposium on Principles and Practice of Declarative Programming, 2021.
    Publicado • 10.1145/3479394.3479398
  6. Luis Caires; Jorge A. Pérez; Frank Pfenning; Bernardo Toninho. "Domain-aware session types". Trabalho apresentado em 30th International Conference on Concurrency Theory, 2019.
    Publicado • 10.4230/LIPIcs.CONCUR.2019.39
  7. Stephanie Balzer; Bernardo Toninho; Frank Pfenning. "Manifest Deadlock-Freedom for Shared Session Types". Trabalho apresentado em 28th European Symposium on Programming, Atenas, 2019.
    Publicado • 10.1007/978-3-030-17184-1_22
  8. Stephanie Balzer; Frank Pfenning; Bernardo Toninho. "A universal session type for untyped asynchronous communication". Trabalho apresentado em 29th International Conference on Concurrency Theory, 2018.
    Publicado
  9. Lange, Julien; Ng, Nicholas; Toninho, Bernardo; Yoshida, Nobuko. "A static verification framework for message passing in Go using behavioural types". Trabalho apresentado em Proceedings of the 40th International Conference on Software Engineering, 2018.
    Publicado • 10.1145/3180155.3180157
  10. Bernardo Toninho; Nobuko Yoshida. "Depending on Session-Typed Processes". Trabalho apresentado em Foundations of Software Science and Computation Structures, 2018.
    Publicado • 10.1007/978-3-319-89366-2_7
  11. Bernardo Toninho; Nobuko Yoshida. "On Polymorphic Sessions and Functions". Trabalho apresentado em European Symposium on Programming, 2018.
    Publicado • 10.1007/978-3-319-89884-1_29
  12. Lange, J.; Ng, N.; Toninho, B.; Yoshida, N.. "Fencing off Go: Liveness and safety for channel-based programming". Trabalho apresentado em Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017.
    10.1145/3009837.3009847
  13. Toninho, B.; Caires, L.; Pfenning, F.. "Corecursion and non-divergence in session-typed processes". Trabalho apresentado em Trustworthy Global Computing, 2014.
    Publicado • 10.1007/978-3-662-45917-1_11
  14. Toninho, B.; Caires, L.; Pfenning, F.. "Higher-order processes, functions, and sessions: A monadic integration". Trabalho apresentado em European Symposium on Programming, 2013.
    Publicado • 10.1007/978-3-642-37036-6_20
  15. Caires, L.; Pérez, J.A.; Pfenning, F.; Toninho, B.. "Behavioral polymorphism and parametricity in session-based communication". Trabalho apresentado em European Symposium on Programming, 2013.
    Publicado • 10.1007/978-3-642-37036-6_19
  16. Caires, L.; Pfenning, F.; Toninho, B.. "Towards concurrent type theory". Trabalho apresentado em Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012.
    Publicado • 10.1145/2103786.2103788
  17. DeYoung, H.; Caires, L.; Pfenning, F.; Toninho, B.. "Cut reduction in linear logic as asynchronous session-typed communication". Trabalho apresentado em Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, 2012.
    Publicado • 10.4230/LIPIcs.CSL.2012.228
  18. Toninho, B.; Caires, L.; Pfenning, F.. "Functions as session-typed processes". Trabalho apresentado em Foundations of Software Science and Computational Structures, 2012.
    Publicado • 10.1007/978-3-642-28729-9_23
  19. Pérez, J.A.; Caires, L.; Pfenning, F.; Toninho, B.. "Linear logical relations for session-based concurrency". Trabalho apresentado em European Symposium on Programming, 2012.
    Publicado • 10.1007/978-3-642-28869-2_27
  20. Simmons, R.J.; Toninho, B.; Pfenning, F.. "Distributed deductive databases, declaratively: The L10 logic programming language". Trabalho apresentado em ACM SIGPLAN X10 Workshop 2011, 2011.
    Publicado • 10.1145/2212736.2212742
  21. Toninho, B.; Caires, L.; Pfenning, F.. "Dependent session types via intuitionistic linear type theory". Trabalho apresentado em Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011.
    Publicado • 10.1145/2003476.2003499
  22. Pfenning, F.; Caires, L.; Toninho, B.. "Proof-carrying code in a session-typed process calculus". Trabalho apresentado em Certified Programs and Proofs, 2011.
    Publicado • 10.1007/978-3-642-25379-9_4
  23. Bernardo Toninho; Luis Caires. "A Spatial-Epistemic Logic for Reasoning about Security Protocols". Trabalho apresentado em Proceedings 8th International Workshop on Security Issues in Concurrency, 2010.
    Publicado • 10.4204/EPTCS.51
Artigo em revista
  1. Toninho, Bernardo; Yoshida, Nobuko. "On Polymorphic Sessions and Functions". ACM Transactions on Programming Languages and Systems 43 2 (2021): 1-55. http://dx.doi.org/10.1145/3457884.
    Publicado • 10.1145/3457884
  2. Griesemer, Robert; Hu, Raymond; Kokke, Wen; Lange, Julien; Taylor, Ian Lance; Toninho, Bernardo; Wadler, Philip; Yoshida, Nobuko. "Featherweight go". Proceedings of the ACM on Programming Languages 4 OOPSLA (2020): 1-29. http://dx.doi.org/10.1145/3428217.
    Acesso aberto • Publicado • 10.1145/3428217
  3. Caires, Luís; Toninho, Bernardo. "Refinement kinds: type-safe programming with practical type-level computation". Proceedings of the ACM on Programming Languages 3 OOPSLA (2019): 1-30. http://dx.doi.org/10.1145/3360557.
    Publicado • 10.1145/3360557
  4. Toninho, Bernardo; Yoshida, Nobuko. "Interconnectability of Session-Based Logical Processes". ACM Transactions on Programming Languages and Systems 40 4 (2018): 1-42. http://dx.doi.org/10.1145/3242173.
    Publicado • 10.1145/3242173
  5. Toninho, B.; Yoshida, N.. "Certifying data in multiparty session types". Journal of Logical and Algebraic Methods in Programming (2016): http://www.scopus.com/inward/record.url?eid=2-s2.0-85009905362&partnerID=MN8TOARS.
    Publicado • 10.1016/j.jlamp.2016.11.005
  6. Caires, L.; Pfenning, F.; Toninho, B.. "Linear logic propositions as session types". Mathematical Structures in Computer Science 26 3 (2016): 367-423. http://www.scopus.com/inward/record.url?eid=2-s2.0-84957625632&partnerID=MN8TOARS.
    Publicado • 10.1017/S0960129514000218
  7. Bartoletti, M.; Castellani, I.; Deniélou, P.-M.; Dezani-Ciancaglini, M.; Ghilezan, S.; Pantovic, J.; Pérez, J.A.; et al. "Combining behavioural types with security analysis". Journal of Logical and Algebraic Methods in Programming 84 6 (2015): 763-780. http://www.scopus.com/inward/record.url?eid=2-s2.0-84997755144&partnerID=MN8TOARS.
    Publicado • 10.1016/j.jlamp.2015.09.003
  8. Pérez, J.A.; Caires, L.; Pfenning, F.; Toninho, B.. "Linear logical relations and observational equivalences for session-based concurrency". Information and Computation 239 (2014): 254-302. http://www.scopus.com/inward/record.url?eid=2-s2.0-85027945382&partnerID=MN8TOARS.
    Publicado • 10.1016/j.ic.2014.08.001
Capítulo de livro
  1. Toninho, Bernardo; Yoshida, Nobuko. "Polymorphic Session Processes as Morphisms". In The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, editado por M. Alvim; K. Chatzikokolakis; C. Olarte; {Valencia, 101-117. Springer International Publishing, 2019.
    Publicado • 10.1007/978-3-030-31175-9_7
  2. Toninho, B.; Yoshida, N.. "Certifying data in multiparty session types". In A List of Successes That Can Change the World, 433-458. Springer International Publishing, 2016.
    Publicado • 10.1007/978-3-319-30936-1_23
Tese / Dissertação
  1. Toninho, Bernardo Parente Coutinho Fernandes. "A logical foundation for session-based concurrent computation". Doutoramento, 2015. http://hdl.handle.net/10362/15296.
  2. Toninho, Bernardo Parente Coutinho Fernandes. "A Logic and tool for local reasoning about security protocols". Mestrado, 2009. http://hdl.handle.net/10362/2307.

Outros

Software
  1. COSTA SECO, JOÃO; Toninho, Bernardo; Carmen Morgado; Carla Ferreira; Birra, Fernando; Caires, Luis; Goulão, Miguel; et al. "CodingFest Platform". Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia. https://codingfest.org. 2015.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2022 Ferrite: A Judgmental Embedding of Session Types in Rust (Invited Talk) Seminar for the Computer Science Department
Faculdade de Ciências da Universidade de Lisboa
2021 A Decade of Dependent Session Types International Symposium on Principles and Practice of Declarative Programming
2021 Featherweight Go Seminar for the Computer Science Department
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia
2021 Featherweight Go Go User Group London
Go User Group London (Reino Unido)
2019 Refinement kinds: type-safe programming with practical type-level computation CM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity - OOPSLA
(Grécia)
2019 Interconnectability of Session-Based Logical Processes ACM SIGPLAN Symposium on Principles of Programming Languages
2019 Refinement kinds: type-safe programming with practical type-level computation
Facebook London
2019 Refinement Kinds Seminar for the Computer Science Department
Faculdade de Ciências da Universidade de Lisboa
2018 A Universal Session Type for Untyped Asynchronous Communication 29th International Conference on Concurrency Theory
(China)
2018 Depending on Session-Typed Processes Foundations of Software Science and Computation Structures - 21st International Conference
(Grécia)
2018 Depending on Session-typed Processes Invited talk at the special session on Session Types, presented at the Conference on the Mathematical Foundations of Programming Semantics
2017 On the Expressiveness of Parametricity in Polymorphic Session Types. Aarhus Concurrency Workshop
Aarhus University (Dinamarca)
2017 Session Types and Linear Logic
University College London (Reino Unido)
2017 Fencing off go: liveness and safety for channel-based programming ACM SIGPLAN Symposium on Principles of Programming Languages
(França)
2017 Session Types and Linear Logic Seminar for the Computer Science Department
University of Bath
2017 Session Types, Linear Logic and Lightweight Applications of Session Types in Java Seminar for the Computer Science Department
University College London
2016 Fencing Off Go: Liveness and Safety for Channel-based Programming
Cambridge University (Reino Unido)
2016 Certifying Data in Multiparty Session Types Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
University of Edinburgh (Reino Unido)
2015 Certifying Data in Multiparty Session Types
Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa
2015 Certifying Data in Multiparty Session Types
Faculdade de Ciências, Universidade de Lisboa
2014 Corecursion and Non-divergence in Session-Typed Processes Trustworthy Global Computing - 9th International Symposium
(Itália)
2013 Higher-Order Processes, Functions, and Sessions: A Monadic Integration Programming Languages and Systems - 22nd European Symposium on Programming
(Itália)
2013 Proof-Carrying Code with Dependent Session Types, Dynamic Spatial Logics, Gradual Security Types and Sessions Behavioural Types for Reliable Large-Scale Software Systems (BETTY) Working Group Meeting
2012 Functions as Session-Typed Processes Foundations of Software Science and Computation Structures - 15th International Conference
(Estónia)
2012 Linear Logic: A Logical Foundation for Concurrent Computation Curry-Howard: Logic and Computation Monthly Meeting (CHoCoLa)
2011 Dependent session types via intuitionistic linear type theory 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
(Dinamarca)
2010 A Spatial-Epistemic Logic for Reasoning about Security Protocols International Workshop on Security Issues in Concurrency
(França)

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2021 - Atual Temporal session types for hardware design and verification
Orientador
 Informática (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Carnegie Mellon University, Estados Unidos
2019 - Atual Designing and Implementing a Compiled Programming Language with Session-Typed Concurrency
Orientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2023 An optimizing compiler for a session-based concurrent language
Orientador
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2023 Type-checking Linearity in Core: Semantic Linearity in a Lazy Optimising Compiler
Orientador
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021/10 - 2022 Session Kotlin: An Embedded DSL for Session Types in Kotlin
Orientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021/10 - 2022 Automatic Selection of Biometric Information
Coorientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020 - 2022 Making Session Types Go
Orientador
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020/11 - 2021/12 Featherweight Generic Go with Untyped Constants, Structural Type Definitions and Type Inference
Orientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020/11 - 2021/09 Outsystems Logic Previewer
Orientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020/10 - 2021/09 Typed Meta-programming with Kind Refinements - Bidirectionally
Orientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2021 Synthesis of Linear Functional Programs
Orientador
 Engenharia Informática (Iniciação científica)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020 - 2021 Type-driven Synthesis of Evolving Data Models and APIs
Orientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2020 Upgrading decision support systems with Cloud-based environments and machine learning
Coorientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2020 Automação de implementações de serviços na Cloud utilizando o modelo de infraestrutura como código
Coorientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2019 Automação de implementações de serviços na Cloud utilizando o modelo de infraestrutura como código
Orientador
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - 2016 Scribble in Haskell: Generating Endpoint Implementations from Communication Protocols
Coorientador
Imperial College London, Reino Unido

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2023 - 2023 EUTOPIA Doctoral Summer School. Local organizer and Scientific Committee member (2023/06/19 - 2023/06/23)
Outro
 Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2018 Programming Languages Mentoring Workshop (PLMW) at the ACM Symposium on Principles of Programming Languages (POPL) 2018 (2018/01 - 2018/01)
Oficina (workshop) (Coorganizador)

Júri de grau académico

Tema
Tipo de participação 		Nome do candidato (Tipo de grau)
Instituição / Organização
2023 News-MQA: Multimodal question answering benchmark over news pieces
Presidente do júri
 Catarina Lopes (Mestrado)
2023 Shared channels on context-free session types
Arguente principal
 Diogo Filipe da Paz de Barros (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2023 CLASS: A Logical Foundation for Typeful Programming with Shared State
Arguente
 Pedro Rocha (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 On Forgetting Relations in Relational Databases
Presidente do júri
 Guilherme Fonseca (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 Assess the effect of angiogenesis inhibition in intra-tumor heterogeneity.
Presidente do júri
 David Pais (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 Parametric Optimization Support for Generative Engineering
Presidente do júri
 Tiago Cotovio (Mestrado)
2021 Thesis Committee member
Vogal
 Pedro Rocha (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 Sistema para avaliação de postura com utilização de sensores
Presidente do júri
 Gabriel Botelho (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 LowNimbus: A decentralized autonomic cloud to edge deployment framework
Presidente do júri
 Bruno Anjos (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 Clustering of protein-protein Interfaces
Presidente do júri
 João Afonso (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020/07 Presidente do Juri das provas de mestrado do aluno João Paulo dos Santos Pires. Título da tese: Representing Amino Acid Contacts In Protein Interfaces
Presidente do júri
 João Paulo dos Santos Pires (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 Presidente do Juri das provas de mestrado do aluno Vasco Coelho. Título da tese: Study and optimization of the memory management in Memcached
Presidente do júri
 Vasco Coelho (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 Arguente das provas de Mestrado do aluno Francisco Fernandes. Título da tese: Progressive Web App: Uma Experiência Cross-Platform para Gestão de Consumos Energéticos
Arguente
 Francisco Miguel Antunes Fernandes (Mestrado)
2019 Presidente do Júri das provas de mestrado do aluno Roberto Veloso. Título da tese: Uma linguagem para modelação de requisitos de interface para WebGIS
Presidente do júri
 Roberto Jorge Melo Veloso (Mestrado)
2019 The Logic of Fault-Tolerance in Message-Passing Concurrency
Arguente
 Bas van den Heuvel (Mestrado)
Universiteit van Amsterdam, Países Baixos
2019 Thesis Committee Membership (External Examiner). Thesis: Session-Typed Concurrent Contracts/
Arguente principal
 Hannah Gommerstadt (Doutoramento)
Carnegie Mellon University, Estados Unidos
2018 Presidente do Júri das provas de mestrado do aluno Eduardo Geraldo. Título da tese: SNITCH: Dependent Dynamic Information Flow Analysis on Intermediate Java Code.
Presidente do júri
 Eduardo Geraldo (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Arbitragem científica em conferência

Nome da conferência Local da conferência
2023 - 2024 ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2024)
2023 - 2023 21st International Conference on Software Engineering and Formal Methods (SEFM 2023)
2023 - 2023 30 Years of Session Types Workshop (ST30)
2023 - 2023 3rd International Workshop on Recent Advances in Concurrency and Logic (RADICAL 2023)
2022 - 2023 27th ACM SIGPLAN International Conference on Functional Programming (ICFP)
2022 - 2023 ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2023).
2022 - 2022 31st European Symposium on Programming
2022 - 2022 17th Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2022)
2021 - 2021 32nd International Conference on Concurrency Theory (CONCUR)
2019 - 2019 2nd International Workshop on Recent Advances in Concurrency and Logic (RADICAL 2019)
2017 - 2017 19th International Symposium on Principles and Practice of Declarative Programming (PPDP 2017)
2016 - 2016 11th Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2016)
2016 - 2016 Workshop on Programming Language Approaches to Concurrency and Communication-centric Software (PLACES 2016)
2015 - 2015 Workshop on Interaction and Concurrency Experience (ICE 2015)
2014 - 2014 Workshop on Interaction and Concurrency Experience (ICE 2014)

Arbitragem científica em revista

Nome da revista (ISSN) Editora
2015 - Atual Mathematical Structures in Computer Science (1469-8072) Cambridge University Press
2015 - Atual Journal of Logical and Algebraic Methods in Programming (2352-2208) Elsevier
2014 - Atual Logical Methods in Computer Science (1860-5974) Logical Methods in Computer Science
2013 - Atual Science of Computer Programming (0167-6423) Elsevier
2013 - 2013 Journal of Functional Programming

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2021/03 - Atual Construção e Verificação de Software (Construction and Verification of Software), Laboratory classes Engenharia Informática (Mestrado integrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021/03 - Atual Análise e Desenho de Algoritmos (Analysis and Design of Algorithms), Laboratory classes Engenharia Informática (Mestrado integrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020/09 - Atual Modelação e Validação de Sistemas Concorrentes (Modeling and Validation of Concurrent Systems) Engenharia Informática (Mestrado integrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020/03 - Atual Análise e Desenho de Algoritmos (Aulas Práticas) Engenharia Informática (Mestrado integrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022/03 - 2022/07 Construção e Verificação de Software (Construction and Verification of Software) Engenharia Informática (Mestrado integrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021/09 - 2022/02 Introdução à Programação (Introduction to Programming). Engenharia Informática (Licenciatura) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021/09 - 2022/01 Programação Concorrente: Linguagens e Técnicas (Concurrent Programming: Languages and Techniques) Engenharia Informática (Mestrado integrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020/09 - 2021/01 Introdução à Programação Engenharia Informática (Mestrado integrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019/09 - 2020/01 Introdução à Programação Engenharia Informática (Mestrado integrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019/03 - 2019/07 Análise e Desenho de Algoritmos (Aulas Práticas) Engenharia Informática (Mestrado integrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018/09 - 2019/01 Introdução à Programação Engenharia Informática (Mestrado integrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018/03 - 2018/07 Análise e Desenho de Algoritmos (Aulas Práticas) Engenharia Informática (Mestrado integrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016/01 - 2016/03 Computing Topics Computing (Bachelor) Imperial College London, Reino Unido
2015 - 2015/06 Base de Dados Engenharia Informática (Mestrado integrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012/03 - 2012/06 Análise e Desenho de Algoritmos Engenharia Informática (Licenciatura) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2011/09 - 2011/12 Type Systems and Programming Languages Computer Science (Doctor of Philosophy) Carnegie Mellon University School of Computer Science, Estados Unidos
2008/09 - 2008/12 Teoria da Computação Engenharia Informática (Licenciatura) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2007/10 - 2008/01 Introdução à Programação (B) Engenharia Biomédica (Mestrado integrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Membro de comissão

Descrição da atividade
Tipo de participação 		Instituição / Organização
2023 - Atual Steering Committee Member (elected) of NOVA LINCS Research Center Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
2022 - Atual Member (elected) of Computer Science Department Council (CDI) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - Atual Executive Board of the Computer Science Department Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Outro júri / avaliação

Descrição da atividade Instituição / Organização
2022 - Atual MSc intermediate report evaluation Universidade de Lisboa Faculdade de Ciências, Portugal
Distinções

Prémio

2022 Distinguished Paper Award for Ferrite: A Judgmental Embedding of Session Types in Rust at ECOOP 2022
2022 Distinguished reviewer award at the 31st European Symposium on Programming (ESOP 22)
2022 Best paper award at the 13th INFORUM, Simpósio de Informática (INFORUM 2022) for the paper Making Session Types Go: Compilation of a session-typed functional language to Go
2021 10 Year Most Influential Paper Award at the International Symposium on Principles and Practice of Declarative Programming (PPDP)