13,687 reputation
34196
bio website people.cs.kuleuven.be/…
location Uppsala, Sweden
age 43
visits member for 4 years, 4 months
seen 2 days 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
92
× 9
306
× 32
88
× 8
268
× 32
81
× 9
149
× 13
65
× 6
124
× 18
64
× 7
Academia 22,957 rep 68116
Theoretical Computer Science 13,687 rep 34196
Computer Science 13,269 rep 12981
Parenting 2,571 rep 617
Stack Overflow 589 rep 710

2,295 Votes Cast

all time   by type   month  
2,230 up 970 question 7
65 down 1,325 answer