13,649 reputation
34196
bio website people.cs.kuleuven.be/…
location Uppsala, Sweden
age 43
visits member for 4 years, 3 months
seen 2 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.


392
× 38
92
× 9
307
× 32
86
× 8
267
× 32
81
× 9
150
× 13
65
× 6
124
× 18
64
× 7
Academia 22,739 rep 67115
Theoretical Computer Science 13,649 rep 34196
Computer Science 13,095 rep 12981
Parenting 2,542 rep 617
Stack Overflow 589 rep 710

2,288 Votes Cast

all time   by type   month   week  
2,223 up 968 question 15 2
65 down 1,320 answer