I am a PhD Student in Computer Science at Yale University. My research interests include formal methods, decision procedures, and high-performance applications of automated reasoning to software and system security. Currently, I am working on automatic analysis of side-channel vulnerabilities in constant-time implementations of post-quantum and lightweight cryptographic algorithms. 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 software and system engineering in industry.