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

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