13,234 reputation
34093
bio website people.cs.kuleuven.be/…
location Uppsala, Sweden
age 43
visits member for 4 years, 1 month
seen Sep 8 at 9:38

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.


388
× 38
90
× 9
296
× 32
80
× 8
262
× 32
73
× 7
144
× 13
65
× 6
121
× 18
62
× 7
Academia 21,068 rep 63108
Theoretical Computer Science 13,234 rep 34093
Computer Science 12,820 rep 12979
Parenting 2,397 rep 617
Stack Overflow 510 rep 610
sort
This user has no active bounties

2,267 Votes Cast

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