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


216
× 31
97
× 13
174
× 23
84
× 13
144
× 21
80
× 12
126
× 23
66
× 9
106
× 16
65
× 12
Academia 22,679 rep 67115
Theoretical Computer Science 13,639 rep 34196
Computer Science 13,095 rep 12981
Parenting 2,542 rep 617
Stack Overflow 589 rep 710

1,754 Votes Cast

all time   by type   month   week  
1,725 up 748 question 5 1
29 down 1,006 answer