Ι'm a Software Engineer at Google, working on things related to the V8 JavaScript engine.

I'm also a professor (on leave) at the School of Electrical and Computer Engineering of the National Technical University of Athens and a member of the Software Engineering Laboratory. I am interested in the theory and implementation of programming languages: semantics, type systems, compilers, static analysis, formal verification.