Skip to main content

Maciej Pirog

Personal photo - Maciej Pirog

Maciej Pirog

Doctoral Student

Leaving date: 31st July 2015


I enjoy formal semantics of programming languages and interactive theorem proving in Coq. At the moment, I am working on modelling effects (like I/O) in type theory.


I came to the city of dreaming spires straight from Wroclaw, Poland, where I graduated from the local university. I was awarded the title of MSc in computer science, and my thesis was entitled Toward a certified Haskell compiler: Correctness and implementation of the Spineless Tagless G-machine verified in the Coq proof assistant (I really enjoyed the length of the title at that time). Now, I am working hard to become a doctor of philosophy.

Selected Publications

View AllManage publications


Completed Projects