Kevin Laeufer

Registered user since Wed 17 Jan 2018

Name: Kevin Laeufer

Bio: Follow my open source contributions:

Country: United States

Affiliation: University of California, Berkeley

Personal website:

Research interests: Agile Formal Verification for Hardware Design


* ICSE 2018 *Author of Efficient Sampling of SAT Solutions for Testing within the Technical Papers -track