Maciej Piróg

Assistant Professor in the Institute of Computer Science
at the University of Wrocław

Contact

Email
Tel
maciej.pirog@cs.uni.wroc.pl
+48 71 375 7824


Address
Instytut Informatyki UWr
ul. Joliot-Curie 15
50-383 Wrocław
Poland
Room
336



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

Recent papers

(more...)

PC member

Haskell 2025, HOPE 2022, MSFP 2022, MFPS 2020, ICTAC 2020, ICTAC 2019, Haskell 2018, ICTAC 2018, IFL 2017