|visits||member for||3 years, 1 month|
|seen||Nov 4 '14 at 13:52|
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.
|bio||website||people.cs.kuleuven.be/…||visits||member for||3 years, 1 month|
|location||Uppsala, Sweden||seen||Nov 4 '14 at 13:52|
1 Vote Cast
|all time||by type|