Skip to main content
Theoretical Computer Science
Gian's user avatar
Gian's user avatar
Gian's user avatar
Gian
  • Member for 14 years, 4 months
  • Last seen more than 6 years ago
Profile Activity
Stats
298
reputation
925
reached
1
answer
1
question
Communities
View all
About

PhD student in the Programming, Logic, and Semantics group at the IT University of Copenhagen.

Badges
This user doesn’t have any gold badges yet.
2
silver badges
7
bronze badges
Top tags
9
Score
2
Posts
100
Posts %
9
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
question
9
Process modeling with fine-grained notions of location
Aug 16, 2010
answer
9
What are the historical roots of Milner's bigraphs?
Aug 17, 2010
Top network posts
View all network posts
84
Processes, threads, green threads, protothreads, fibers, coroutines: what's the difference?
79
Why does VIM have its own regex syntax?
30
What is the significance of 1/1/1753 in SQL Server?
28
What's the meaning of the operator || in linux shell?
27
How does the internal implementation of memcpy work?