|
<<< Previous speaker
|
Next speaker >>>
|
Rix Groenboom, Reasoning Netherlands BV
Rix Groenboom is European support manager for Reasoning Inc., a company that offers global inspection and migration services. In this capacity, he has been involved in many automated software inspection projects for Fortune 2000 companies. Groenboom holds a MSc and PhD in Computing Science from the University of Groningen (the Netherlands), and has written over 30 publications on the use of formal methods in imbedded and knowledge-based systems development. His special areas of interest are in the use of formal languages for the specification, design and validation of software applications.
|
|
![](/aarhus-2008/images/1_grey.gif) |
|