I'm an associate professor 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.
Top network posts
- 43 Pointer expressions: *ptr++, *++ptr and ++*ptr
- 26 Print a list of space-separated elements in Python 3
- 25 How to automatically draw tree diagram of prime factorization with LaTeX?
- 21 Difference between Parallel and Concurrent programming?
- 18 Latex and code blocks: how to mark statements that way?
- 16 Haskell - loop over user input
- 16 How to correctly decorate an ellipse with random steps
- View more network posts →