12,835 reputation
12979
bio website people.cs.kuleuven.be/…
location Uppsala, Sweden
age 43
visits member for 2 years, 6 months
seen 15 hours ago

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.


214
× 31
96
× 13
172
× 23
84
× 13
142
× 21
80
× 12
123
× 22
65
× 9
105
× 16
64
× 12
Academia 21,268 rep 64109
Theoretical Computer Science 13,314 rep 34094
Computer Science 12,835 rep 12979
Parenting 2,495 rep 617
Stack Overflow 510 rep 610

1,745 Votes Cast

all time   by type   month  
1,716 up 746 question 3
29 down 999 answer