Skip to main content
Super User
nickie's user avatar
nickie's user avatar
nickie's user avatar
nickie
  • Member for 10 years, 10 months
  • Last seen this week
Profile Activity
Stats
496
reputation
56k
reached
17
answers
0
questions
Communities
View all
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
View all badges
1
gold badge
5
silver badges
11
bronze badges
Top tags
View all tags
19
Score
11
Posts
65
Posts %
8
Score
1
Posts
6
Posts %
8
Score
1
Posts
6
Posts %
8
Score
1
Posts
6
Posts %
8
Score
1
Posts
6
Posts %
6
Score
3
Posts
18
Posts %
Top posts
View all questions and answers
8
Extract the contents of ELF and write to binary file
Jan 4, 2014
4
Allow a list of IP addresses to access ports with UFW
Feb 10, 2023
4
How to reposition window in SSH session? I am logging into a Linux machine from a Mac machine
Feb 1
3
How to start a service on startup on Debian headless server (Raspberry Pi)?
Oct 8, 2013
2
How to move /dev/random to another drive on a server
Sep 15, 2013
2
error when using while loop in bash script
Nov 2, 2013
2
How do I get rid of Ubuntu shortcuts in Unity 13.10 (Intellij...)
Jan 13, 2014
1
Debian: why are the suggested upgrades from apt-get and synaptic different?
Sep 30, 2013
1
Debian source.list query
Feb 18, 2023
1
Generic way to open $EDITOR at a specific line
May 23
Top network posts
View all network posts
54
Print a list of space-separated elements
49
Pointer expressions: *ptr++, *++ptr and ++*ptr
26
How to automatically draw tree diagram of prime factorization with LaTeX?
24
Writing a backslash in the \texttt environment
21
Difference between Parallel and Concurrent programming?