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.
-
Athens, Greece
-
Member for 6 years, 3 months
-
1 profile view
-
Last seen Sep 5 '17 at 21:04
Communities (13)
- Stack Overflow 4.8k 4.8k 22 gold badges1919 silver badges3434 bronze badges
- TeX - LaTeX 3.6k 3.6k 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
- 43 Pointer expressions: *ptr++, *++ptr and ++*ptr
- 30 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 Latex and code blocks: how to mark statements that way?
- 17 Haskell - loop over user input
- 17 How to correctly decorate an ellipse with random steps
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.
Badges (8)
Gold
—
Silver
6
Rarest
Bronze
2
Rarest
-
Sep 5 '17
-
Oct 22 '18