Kevin Laeufer

Registered user since Wed 17 Jan 2018

Name:Kevin Laeufer
Bio:

Follow my open source contributions: https://github.com/ekiwi

Country:United States
Affiliation:University of California, Berkeley
Research interests:Agile Formal Verification for Hardware Design

Contributions