My name is Maciej Piróg (or Pirog for people poor in Unicode support). According to Wikipedia, the pronunciation of my first name is like “Machey” where “ey” is more like in “bay” than in “Clooney”.
I am a functional programmer and a PhD student at Oxford University. I believe in large cardinals, the axiom of choice, and that “P=NP” will not be solved in my lifetime. I think that category theory is abstract nonsense, and that is why it gives me this Monty-Python-style feeling of amusement.
You can also visit my departmental homepage.