stefan brunthaler

Personal information


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.

History


9 years 7 weeks