Koen Claessen (landing page)
Professor
Koen Claessen co-created the property-based testing tool QuickCheck and works on automated reasoning, testing and hardware description.
Professor
Koen Claessen co-created the property-based testing tool QuickCheck and works on automated reasoning, testing and hardware description.