20,453 reputation
60103
bio website people.cs.kuleuven.be/…
location Uppsala, Sweden
age 43
visits member for 2 years, 3 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.


337
× 31
152
× 10
329
× 31
145
× 11
239
× 24
141
× 15
181
× 12
138
× 13
161
× 14
110
× 11
Academia 20,453 rep 60103
Theoretical Computer Science 13,174 rep 33992
Computer Science 12,492 rep 12878
Parenting 2,337 rep 616
Stack Overflow 490 rep 610

777 Votes Cast

all time   by type   month  
761 up 320 question 2
16 down 457 answer