| CARVIEW |
Maciej Piróg
Contact
Tel
About me
I obtained an MSc in computer science from Wrocław under the supervision of Dariusz Biernacki. Then, I went to Oxford, where I obtained a PhD supervised by Jeremy Gibbons. I stayed there a bit longer as a postdoc research assistant and an occasional TA for the Software Engineering Programme. After that, I was a postdoc in Tom Schrijvers' group at KU Leuven. Finally, I moved back to Wrocław.
My research interests revolve around semantics and functional programming in general. I work on operational and denotational semantics, mainly categorical models of computational effects and data structures. I also enjoy computer-assisted mathematics and dependently typed programming.
Past projects
- PI of Efekty algebraiczne: Algebraic effects: composition and coinduction, NCN SONATA 14
- Co-proposer of Quantified Computational Effects and Interaction (PI: Tarmo Uustalu), Icelandic Research Fund
- PI of Algebraic Effects and Continuations, NCN POLONEZ 3 (Marie Skłodowska-Curie COFUND)
Recent papers
- Counting Monads on Lists (with Dylan McDermott and Tarmo Uustalu), CLA 2023
- High-Level effect handlers in C++ (with Dan Ghica, Sam Lindley, and Marcos Maroñas Bravo), OOPSLA 2023
- Binders by day, labels by night: Effect instances via lexically scoped handlers (with Dariusz Biernacki, Piotr Polesiuk, and Filip Sieczkowski), POPL 2020
PC member
Haskell 2025, HOPE 2022, MSFP 2022, MFPS 2020, ICTAC 2020, ICTAC 2019, Haskell 2018, ICTAC 2018, IFL 2017