- 2021
- - Presentation at YOW! Lambda Jam 2021
- - Board Member of Haskell Foundation
- - Presented Liquid Haskell tutorial at POPL tutorials, with Andres Löh
- - Presented Functional Extensionality for Refinement Types at IFIP WG2.8
- - Co-chair of PLDI'21 AEC, with Luís Pina
- - Committee Member in VMCAI'21, PLS'21, PEPM'21
- - Thesis committee member for Alejandro Aguirre, IMDEA
- - Thesis committee member for Lucas Franceschino, INRIA
- - Board Member of Haskell Foundation