18,500 reputation
5392
bio website people.cs.kuleuven.be/…
location Uppsala, Sweden
age 42
visits member for 2 years
seen 6 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.


40
Sep 20 '12 at 15:01
16
Nov 27 '12 at 15:18
16
Apr 30 '12 at 14:35