156
reputation
1
2
6
nickie
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.
1
answer
0
questions
~293
people reached
-
Athens, Greece
-
Member for 5 years, 4 months
-
74 profile views
-
Last seen Jul 9 '18 at 22:29
