Practical, High-Performance Verification in Rust

People

Portrait of Chris Hawblitzel

Chris Hawblitzel

Senior Principal Researcher

Portrait of Jay Lorch

Jay Lorch

Senior Principal Researcher

Portrait of Shan Lu

Shan Lu

Senior Principal Research Manager

Portrait of Ziqiao Zhou

Ziqiao Zhou

Senior Researcher