I am a PhD student at the Software
Laboratory, National Technical University
My interests lie in programming languages, type systems, code verification.
Software Engineering Laboratory
School of Electrical and Computer Engineering
National Technical University of Athens
15780 Zografou, Athens, Greece
Tel: +30 210 772 2476
E-mail: (λx.gkorfxsoftlab.ntua.gr) @
Here are two photos
Žižek on "Balkan".