18,350 reputation
5392
bio website people.cs.kuleuven.be/…
location Uppsala, Sweden
age 42
visits member for 2 years
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.


318
× 31
143
× 11
315
× 30
131
× 14
228
× 23
129
× 13
157
× 13
129
× 11
149
× 10
94
× 6
Academia 18,350 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

747 Votes Cast

all time   by type   month  
732 up 313 question 10
15 down 434 answer