12,205 reputation
12774
bio website people.cs.kuleuven.be/…
location Uppsala, Sweden
age 42
visits member for 2 years, 1 month
seen 1 hour 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.


203
× 30
95
× 13
168
× 23
81
× 13
140
× 21
77
× 12
120
× 22
62
× 9
101
× 16
54
× 11
Academia 18,350 rep 5392
Theoretical Computer Science 13,029 rep 33890
Computer Science 12,205 rep 12774
Parenting 2,297 rep 614
Stack Overflow 450 rep 610

1,717 Votes Cast

all time   by type   month   week  
1,690 up 736 question 3 1
27 down 981 answer