13,065 reputation
12981
bio website people.cs.kuleuven.be/…
location Uppsala, Sweden
age 43
visits member for 2 years, 8 months
seen 24 mins 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.


216
× 31
97
× 13
174
× 23
84
× 13
144
× 21
80
× 12
126
× 23
66
× 9
106
× 16
65
× 12
Academia 22,457 rep 66114
Theoretical Computer Science 13,564 rep 34196
Computer Science 13,065 rep 12981
Parenting 2,542 rep 617
Stack Overflow 569 rep 710

1,753 Votes Cast

all time   by type   month  
1,724 up 748 question 4
29 down 1,005 answer