- 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