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