Skip to main content
Computer Science
Christophe De Troyer's user avatar
Christophe De Troyer's user avatar
Christophe De Troyer's user avatar
Christophe De Troyer
  • Member for 10 years, 11 months
  • Last seen this week
Profile Activity
Stats
273
reputation
6k
reached
0
answers
6
questions
Communities
View all
About

PhD student Computer Science at Vrije Universiteit Brussel.

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
10
bronze badges
Top tags
View all tags
0
Score
2
Posts
33
Posts %
0
Score
2
Posts
33
Posts %
0
Score
2
Posts
33
Posts %
0
Score
2
Posts
33
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
Top posts
question
8
Linearizability and Serializability in context of Software Transactional Memory
Apr 22, 2015
question
7
Can parameters be contra- or covariant in Python?
Jan 9, 2014
question
5
Question about "Type checking a multithreaded functional language with session types" by Vasconcelos et al
Oct 25, 2015
question
5
Proving preservation under substitution System F Omega
Mar 10, 2016
question
4
Lambda Calculus Notation
Jan 19, 2015
question
2
Question about 'Software Transactional Memory' by Shavit and Touitou
Apr 17, 2015
Top network posts
View all network posts
56
How to fix 'logjam' vulnerability in Apache (httpd)
19
Enable logging for service
16
Enable logging for service
15
Clojure printing lazy sequence
12
More than two columns amsmath cases