Ferhat Erata

Registered user since Fri 6 May 2016

Name:Ferhat Erata

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.

Country:United States
Affiliation:Yale University
Research interests:Automated Reasoning, Formal Methods, Side-Channel Analysis, Constant-Time Cryptography, Security


Show activities from other conferences

POPL 2023-profile
View general profile