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.
Projects
- PI of Algebraic Effects and Continuations, NCN POLONEZ 3 (Marie Skłodowska-Curie COFUND)
- Quantified Computational Effects and Interaction (PI: Tarmo Uustalu), Icelandic Research Fund
Recent papers
- Binders by day, labels by night: Effect instances via lexically scoped handlers (with Dariusz Biernacki, Piotr Polesiuk, and Filip Sieczkowski), POPL 2020
- Guarded and unguarded iteration for generalized processes (with Sergey Goncharov, Lutz Schröder, and Christoph Rauch), LMCS
- Monad transformers and modular algebraic effects: What binds them together (with Tom Schrijvers, Nicolas Wu, and Mauro Jaskelioff), Haskell 2019
- Typed equivalence of effect handlers and delimited control (with Piotr Polesiuk and Filip Sieczkowski), FSCD 2019
- Equational theories and monads from polynomial Cayley representations (with Piotr Polesiuk and Filip Sieczkowski), FOSSACS 2019
PC member
HOPE 2022, MSFP 2022, MFPS 2020, ICTAC 2020, ICTAC 2019, Haskell 2018, ICTAC 2018, IFL 2017