12,682 reputation
12879
bio website people.cs.kuleuven.be/…
location Uppsala, Sweden
age 43
visits member for 2 years, 5 months
seen 2 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.


212
× 31
96
× 13
172
× 23
83
× 13
141
× 21
80
× 12
122
× 22
64
× 9
104
× 16
56
× 11
Academia 20,668 rep 62107
Theoretical Computer Science 13,204 rep 34093
Computer Science 12,682 rep 12879
Parenting 2,357 rep 617
Stack Overflow 500 rep 610

1,740 Votes Cast

all time   by type   month  
1,712 up 743 question 1
28 down 997 answer