2,337 reputation
bio website people.cs.kuleuven.be/…
location Uppsala, Sweden
age 43
visits member for 2 years, 6 months
seen Feb 3 at 8:47

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.

This user has not answered any questions
This user has not participated in any tags
This user has not asked any questions
Academia 20,503 rep 60104
Theoretical Computer Science 13,174 rep 33992
Computer Science 12,502 rep 12878
Parenting 2,337 rep 616
Stack Overflow 490 rep 610

1 Vote Cast

all time   by type  
1 up 1 question
0 down 0 answer