Bryan Parno - headshot.jpg

Bryan Parno

Carnegie Mellon University
2022 Amazon Research Award
Verus: developing provably correct and reliable rust code