13,564 reputation
34196
bio website people.cs.kuleuven.be/…
location Uppsala, Sweden
age 43
visits member for 4 years, 3 months
seen 5 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.


392
× 38
91
× 9
304
× 32
86
× 8
264
× 32
81
× 8
148
× 13
65
× 6
123
× 18
62
× 7
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

2,286 Votes Cast

all time   by type   month  
2,221 up 967 question 13
65 down 1,319 answer