- 2023
- - Invited at IFIP WG2.8
- - Invited at IFIP WG2.6
- - Invited lecturer at FoPSS
- - Co-chair of Haskell Symposium'23 , with Trevor L. McDonell
- - Committee Member in PlDI'23,
ESOP'23
- - Board Member of Haskell Foundation
- 2022
- - Panelist at PLMW@ICFP
- - Invited speaker at CLAS
- - Presented at Lambda Days 2022
- - Presented at SCOT Seminar
- - Received ERC Starting Grant 2021
- - Received Wallenberg Academy Fellowship 2021
- - Invited at IFIP WG2.8
- - Co-chair of PLDI'22 AEC, with Xinyu Wang
- - Committee Member in Haskell eXchange'22,
POPL'22,
WITS'22,
TYPES'22,
OOPSLA'22,
FLOPS'22
- - Thesis committee member for Felipe Gorostiaga, IMDEA
- - Board Member of Haskell Foundation
- 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