- 2024
- - Elected at EC SIGPLAN
- - Paper Accepted at FCS'24
- - Speaker at FP Madrid Meetup
- - Speaker at Lambda World'24
- - Speaker at MuniHac'24
- - Keynote at ICFP'24
- - Paper Accepted at FCS'24
- - Teaching Liquid Haskell at UCM
- - Speaker at PLMW POPL'24
- - Session Preview Presenter at POPL'24
- - Paper Accepted at POPL'24
- - Co-chair of Haskell Symposium'24
- - Committee Member in PLDI'24, TyDe'24,
TFP'25,ESOP'25
- - Sponshorship Co-chair in PLDI'24
- - Invited at IFIP WG2.8
- - Invited at IFIP WG2.6
- 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,
ICFP'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