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.9k 4.9k 22 gold badges1919 silver badges3535 bronze badges
- TeX - LaTeX 3.7k 3.7k 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
- 44 Pointer expressions: *ptr++, *++ptr and ++*ptr
- 33 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 Haskell - loop over user input
- 18 Latex and code blocks: how to mark statements that way?
- 17 Writing a backslash in the \texttt environment
- View more network posts →