Type
Publication
IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC)
Ferhat Erata
PhD Candidate at Yale | Applied Scientist Intern at AWS
My research interests include automated reasoning, program analysis, formal verification, security, and property synthesis.