Ferhat Erata
Applied Scientist at Amazon Web Services (AWS)
New York, New York, United States
Summary
👤
Senior🎓
Top SchoolFerhat 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
7 years of employment as a software developer
Vienna University of TechnologyHigh School, Majored in mathematics and science, High School, Majored in mathematics and science at Bornova Anadolu Lisesi (İzmir Koleji)Bachelor’s Degree, Computer Engineering, Bachelor’s Degree, Computer Engineering at Dokuz Eylül ÜniversitesiDoctor of Philosophy - PhD, Computer Science, 4.00, Doctor of Philosophy - PhD, Computer Science, 4.00 at Yale UniversityMaster’s Degree, Information Technology, Master’s Degree, Information Technology at Ege University
Turkish, German, English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (83)
deobfuscation9
emacs-lisp9
emacs9
symbolic-execution9
vim9
parsing9
parser-generator9
parse9
swift8
abstract-interpretation8
emacs-lsp8
melpa8
cpp8
parser8
program-analysis8
Programming languages (10)
Github contributions (5)
ferhaterata/ferhaterata.github.io
Nov 2023 - Mar 2025
Contributions:12 PRs, 195 pushes, 3 branches in 1 year 4 months
ModelWriter/WP5
Jan 2015 - Nov 2016
Contributions:117 pushes, 3 comments, 53 issues in 1 year 10 months
project-managementphpunit
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.