Dave Clarkeless info
|visits||member for||2 years, 3 months|
|seen||May 31 '12 at 17:41|
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||2 years, 3 months|
|location||Leuven, Belgium||seen||May 31 '12 at 17:41|
0 Votes Cast
This user has not cast any votes