I am a PhD Student in Computer Science at Yale University. My research interests include formal methods, decision procedures, distributed systems, and high-performance applications of automated reasoning to software and system security. My dissertation research focuses on automatic detection and repair of side channel vulnerabilities in software and binary code. I have been working as an Applied Scientist Intern at Automated Reasoning Group in Amazon Web Services. My industrial research concentrates on developing efficient methods for consistency checking of distributed storage systems. Before coming to Yale, I took part as a software research engineer in various R&D projects, in which I mainly applied formal methods to industry. I am also a Rust Language enthusiast.