13,029 reputation
33890
bio website people.cs.kuleuven.be/…
location Uppsala, Sweden
age 42
visits member for 3 years, 8 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.


382
× 37
86
× 8
294
× 32
79
× 8
256
× 32
70
× 7
143
× 13
65
× 6
120
× 18
61
× 7
Academia 18,360 rep 5392
Theoretical Computer Science 13,029 rep 33890
Computer Science 12,225 rep 12774
Parenting 2,297 rep 614
Stack Overflow 450 rep 610

2,257 Votes Cast

all time   by type   month  
2,192 up 956 question 3
65 down 1,301 answer