Chris Hawblitzel

Chris Hawblitzel is a Senior Principal Researcher at Microsoft Research's Systems Research Group. His work spans programming languages, operating systems, formal verification, and security, with a focus on integrating systems concepts into safe language environments.

• Research Themes: Systems verification, security, concurrent programming, and type systems
• Awards: Distinguished Artifact Awards (2025, 2024), Jay Lepreau Best Paper Award (2024), Best Paper Awards (PLDI 2010, EuroSys 2006)

His recent publications (2025-2022) focus on Rust verification (Verus), storage/distributed systems verification (PoWER, IronFleet), and cryptographic systems (EverCrypt). He contributes to foundational work in linear types, ghost state, and automated proof generation for systems code.

Notable collaborations include work with Bryan Parno, Jon Howell, and Jay Lorch on verification frameworks and security modules for modern computing environments.