conf.researchr.org / Kevin Laeufer
![Kevin Laeufer](https://conf.researchr.org/getProfileImage/kevinlaeufer/ca045034-6154-47cb-a72c-70df03a24d65/small.jpg?1719595437000)
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
Personal website: https://people.eecs.berkeley.edu/~laeufer/
Research interests:Agile Formal Verification for Hardware Design
Contributions