Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Super User
Network Profile
322
reputation
1
4
11

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.

11
answers
0
questions
~36k
people reached

Communities (13)

Top Network Posts

Top Tags (29)

Score 13
Posts 8
Posts % 73
Score 6
Posts 1
Score 6
Posts 1
Score 6
Posts 1
Score 6
Posts 1
Score 3
Posts 1
View all tags →

Top Posts (11) All Questions Answers | Votes Newest

6 Extract the contents of ELF and write to binary file Jan 4 '14
3 How to start a service on startup on Debian headless server (Raspberry Pi)? Oct 8 '13
2 error when using while loop in bash script Nov 2 '13
2 How to move /dev/random to another drive on a server Sep 15 '13
2 How do I get rid of Ubuntu shortcuts in Unity 13.10 (Intellij…) Jan 13 '14
1 Debian: why are the suggested upgrades from apt-get and synaptic different? Sep 30 '13
1 Cups line printer skip page after printing one line Oct 6 '13
0 E: Some index files failed to download. They have been ignored…” when tunning “sudo aptitude update”? Sep 15 '13
0 Linux system login: How to use /etc/passwd to filter user name again ldap Sep 26 '13
0 init.d script with screen command does not work Nov 3 '13
View all questions and answers →

Badges (16)

Gold

1

Rarest

Silver

4

Rarest

Bronze

11

Rarest

View all badges →