13,174 reputation
33992
bio website people.cs.kuleuven.be/…
location Uppsala, Sweden
age 43
visits member for 3 years, 11 months
seen Jul 27 at 19:30

Computer scientist working on programming language design, formal methods for software product line engineering and security, with a smattering of logic and coordination in there for good measure.


386
× 38
89
× 9
296
× 32
80
× 8
262
× 32
72
× 7
144
× 13
65
× 6
120
× 18
61
× 9
Academia 20,558 rep 61106
Theoretical Computer Science 13,174 rep 33992
Computer Science 12,642 rep 12879
Parenting 2,337 rep 616
Stack Overflow 490 rep 610

2,267 Votes Cast

all time   by type  
2,202 up 962 question
65 down 1,305 answer