PhD Student
Ugur Yavuz is a first-year PhD student in the Principles of Programming and Verification research group, co-advised by Marco Gaboardi and Alley Stoughton. His research interests include formal verification, concurrent algorithms, complexity theory, and logic.
Publications
A Universal Technique for Machine-Certified Proofs of Linearizable Algorithms
Prasad Jayanti, Siddhartha Jayanti, Ugur Y. Yavuz, Lizzie Hernandez
A Machine-Verified Proof of Linearizability for a Queue Algorithm
Ugur Y. Yavuz (MS thesis)