Ferhat Erata
New York, New York, United States
Summary
👤
SeniorFerhat Erata is an applied scientist and Yale PhD candidate with 11 years of experience building verifiable AI and formal-methods-driven software, now focusing on neurosymbolic computation and GenAI anti-hallucination at AWS. He combines deep expertise in automated reasoning, program analysis, and distributed-systems verification—work shaped by repeat internships in AWS’s Automated Reasoning Group and long-standing research in runtime verification and model-based testing. Ferhat has led multinational research projects and co-founded an R&D firm, demonstrating an unusual blend of academic rigor and applied engineering across industry consortia. He teaches operating systems and databases, signaling strong communication of complex concepts, and is driven by the goal of AI that can reason about, prove, and act on code rather than merely generate it.
11 years of coding experience
Github Skills (74)
deobfuscation10
traceability9
symbolic-execution9
parsing9
parse9
emf9
reverse-engineering9
emacs8
emacs-lisp8
program-analysis8
vim8
parser-generator8
klee8
verification8
csharp8
Programming languages (11)
Github contributions (5)
ModelWriter/WP5
Jan 2015 - Nov 2016
Contributions:117 pushes, 3 comments, 53 issues in 1 year 10 months
project-managementphpunit
ferhaterata/ferhat
Apr 2020 - Jul 2021
Contributions:144 pushes, 1 branch in 1 year 3 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.