12,255 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.


206
× 30
95
× 13
168
× 23
81
× 13
140
× 21
79
× 12
120
× 22
63
× 9
102
× 16
55
× 6
Academia 18,510 rep 5392
Theoretical Computer Science 13,029 rep 33890
Computer Science 12,255 rep 12774
Parenting 2,297 rep 614
Stack Overflow 450 rep 610

1,721 Votes Cast

all time   by type   month   week   day
1,694 up 737 question 7 4 1
27 down 984 answer