nickie
Stats
311
reputation
49k
reached
1
answers
0
questions
Loading…
About

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.

1
gold badge
3
silver badges
6
bronze badges

Top tags (3)

Score 21
Posts 1
Score 21
Posts 1
Score 21
Posts 1

Top posts (1)