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


221
× 32
107
× 14
177
× 23
88
× 14
154
× 22
80
× 12
129
× 23
73
× 10
113
× 17
65
× 12
Academia 23,238 rep 68116
Theoretical Computer Science 13,747 rep 34197
Computer Science 13,473 rep 12981
Parenting 2,571 rep 717
Stack Overflow 609 rep 810

1,761 Votes Cast

all time   by type  
1,730 up 752 question
31 down 1,009 answer