conf.researchr.org / 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
Personal website: https://people.eecs.berkeley.edu/~laeufer/
Research interests:Agile Formal Verification for Hardware Design
Contributions