13,354 reputation
34095
bio website people.cs.kuleuven.be/…
location Uppsala, Sweden
age 43
visits member for 4 years, 2 months
seen yesterday

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
302
× 32
81
× 8
263
× 32
73
× 7
146
× 13
65
× 6
122
× 18
62
× 7
Academia 21,613 rep 65111
Theoretical Computer Science 13,354 rep 34095
Computer Science 12,925 rep 12981
Parenting 2,513 rep 617
Stack Overflow 520 rep 610

2,273 Votes Cast

all time   by type  
2,208 up 962 question
65 down 1,311 answer