311
reputation
1
2
5
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
~44k
people reached
-
Athens, Greece
-
Member for 4 years, 11 months
-
70 profile views
-
Last seen Jan 6 at 23:34
