Computer Science
Profile Activity
Meta user
Network profile
1,440
reputation
1
14
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
~18k
people reached
  • Innsbruck, Austria
  • Member for 8 years, 10 months
  • 107 profile views
  • Last seen Dec 28 '20 at 15:13

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
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 →

Badges (40)

Gold

1

Rarest

Silver

14

Rarest

Bronze

25

Rarest

View all badges →