Lambda the Ultimate

Dr.techn. from Vienna University of Technology, February 2011. Now postdoctoral scholar at Michael Franz' research group at University of California, Irvine.

programming languages design and implementation in general; optimizing compilers, and interpreters; system software, and formal methods.