Skip to main content
nickie's user avatar
nickie's user avatar
nickie's user avatar
nickie
  • Member for 10 years, 9 months
  • Last seen this week
Stats
283
reputation
1k
reached
4
answers
0
questions
Loading…
About

Ι'm a Software Engineer at Google, working on things related to the V8 JavaScript engine.

I'm also a professor (on leave) 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.

Badges
1
gold badge
3
silver badges
6
bronze badges
Top tags
9
Score
2
Posts
50
Posts %
5
Score
1
Posts
25
Posts %
2
Score
1
Posts
25
Posts %
1
Score
1
Posts
25
Posts %
Top posts