Maciej Pirog
|
39a St Giles, Oxford, OX1 3LW |
Interests
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.
Biography
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.
Links
My blog (maciejcs)
Commutative diagram of the day
Selected Publications
| Monads for behaviour Maciej Piróg and Jeremy Gibbons 2013. Accepted for Mathematical Foundations of Programming Semantics (MFPS) XXIX |
| Tracing monadic computations and representing effects Maciej Pirog and Jeremy Gibbons In James Chapman and Paul Blain Levy, editors, Proceedings Fourth Workshop on Mathematically Structured Functional Programming‚ Tallinn‚ Estonia‚ 25 March 2012. Vol. 76 of Electronic Proceedings in Theoretical Computer Science. Pages 90−111. Open Publishing Association. 2012. Details | BibTeX | DOI (10.4204/EPTCS.76.8) | Download (pdf) |
| A Functional Derivation of the Warren Abstract Machine Maciej Pirog and Jeremy Gibbons 2011. Submitted for publication |
Info
|
Themes |
|
|
Activities |
|
|
Completed Projects |
|
|
Supervisor |
|
