12,702 reputation
12979
bio website people.cs.kuleuven.be/…
location Uppsala, Sweden
age 43
visits member for 2 years, 6 months
seen 16 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
83
× 13
141
× 21
80
× 12
122
× 22
65
× 9
105
× 16
56
× 11
Academia 20,748 rep 62108
Theoretical Computer Science 13,224 rep 34093
Computer Science 12,702 rep 12979
Parenting 2,367 rep 617
Stack Overflow 500 rep 610

1,742 Votes Cast

all time   by type  
1,713 up 744 question
29 down 998 answer