Kevin Laeufer headshot
I am a research associate in the Computer Science department at Cornell, and part of the Capra research group.

I obtained my PhD in Computer Science from the University of Caifornia, Berkeley in 2024. During my time at Berkeley I was part of the ADEPT Lab . I was a major contributor to Chisel, an open-source hardware construction language, in particular to the firrtl hardware compile and the chiseltest verification library.

News

Publications