I'm a 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.
- Stack Overflow 4.8k 4.8k 22 gold badges1919 silver badges3434 bronze badges
- TeX - LaTeX 3.6k 3.6k 11 gold badge1212 silver badges1919 bronze badges
- Super User 322 322 11 gold badge44 silver badges1111 bronze badges
- Computer Science 311 311 11 gold badge33 silver badges66 bronze badges
- Theoretical Computer Science 156 156 11 gold badge22 silver badges66 bronze badges
- View network profile →
Top network posts
- 43 Pointer expressions: *ptr++, *++ptr and ++*ptr
- 31 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?
- 17 Haskell - loop over user input
- 17 How to correctly decorate an ellipse with random steps
- View more network posts →