Computer Science
Stéphane Gimenez
  • Innsbruck, Austria
  • Member for 9 years, 6 months
Profile Activity
Stats
1,440
reputation
19k
reached
5
answers
6
questions
About

Computer scientist, interested in logics, programming languages, parallel and distributed computation, photography, cryptocurrencies. I live on open source software. I also like to climb mountains and play this ancient game called go.

Communities (25)

Top Meta Posts
1
1

Top network posts

1
gold badge
14
silver badges
26
bronze badges
View all badges

Top tags (27)

Score 19
Posts 2
Posts % 18
Score 19
Posts 1
Score 19
Posts 1
Score 16
Posts 3
Score 11
Posts 1
Score 2
Posts 2
View all tags →

Top posts (11)

All Questions Answers
Votes Newest
29 Counting binary trees Mar 14 '12
20 Are today's massive parallel processing units able to run cellular automata efficiently? Mar 12 '12
19 ML function of type 'a -> 'b Mar 13 '12
18 Clever memory management with constant time operations? Mar 6 '12
11 Polymorphism and Inductive datatypes Mar 28 '12
11 Characterization of lambda-terms that have union types Mar 7 '12
9 Influence of the dimension of cellular automata on complexity classes Mar 12 '12
6 An indexing function for graphs Mar 15 '12
5 CCS process for a drink dispenser with two different prices Mar 17 '12
2 Why store self and parent links (. and ..) in a directory entry? Mar 12 '12
View all questions and answers →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.