Computer Science
Meta user
Network profile
950
reputation
11
25

Stéphane Gimenez

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.

5
answers
6
questions
~15k
people reached
  • Innsbruck, Austria
  • Member for 7 years, 5 months
  • 77 profile views
  • Last seen Jun 19 at 7:43

Communities (25)

Top Meta Posts
1
1

Top network posts

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

27 Counting binary trees Mar 14 '12
19 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
17 Clever memory management with constant time operations? Mar 6 '12
11 Characterization of lambda-terms that have union types Mar 7 '12
10 Polymorphism and Inductive datatypes Mar 28 '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 →

Badges (36)

Gold

—

Silver

11

Rarest

Bronze

25

Rarest

View all badges →