Skip to content
View ferhaterata's full-sized avatar
:octocat:
:octocat:
36 followers · 53 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@openETCS @ModelWriter @UNIT-Research-Development @atsen-conferences @ECSA2016 @Assume-Project

Block or report ferhaterata

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
ferhaterata/README.md

Hi there 👋

I'm Ferhat Erata, an Applied Scientist at AWS AI, working on Agentic AI and Neurosymbolic AI for Code, Security & Reasoning.

  • 🎓 PhD in Computer Science from Yale University (Advisor: Prof. Ruzica Piskac)
  • 🔭 My current research focuses on:
    • Learning Randomized Reductions (ICML 2026 Spotlight: https://arxiv.org/abs/2412.18134)
    • Behavioral Alignment of Specification and Code
    • Semantic Program Compression (Library Learning)
    • Training transformers to solve NP-complete problems with RL
    • Neurosymbolic methods for AI safety — combining neural and symbolic reasoning to prevent hallucinations
    • Test-time compute strategies and regime-aware uncertainty estimation for LLM reasoning
  • 📕 Currently exploring the foundations of learning theory, program synthesis, and formal verification
  • 💬 Ask me about automated reasoning, program analysis, SAT/SMT solving, and neuro-symbolic AI
  • 📫 How to reach me: https://ferhat.ai

Pinned Loading

  1. pascal pascal Public

    Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code

    Python 1

  2. etap etap Public

    Energy-aware Timing Analysis of Intermittent Programs

    HTML 3 1

  3. ModelWriter/Tarski ModelWriter/Tarski Public

    A Platform for Automated Analysis of Traceability (WP3)

    Java 9 1

  4. ModelWriter/AlloyInEcore ModelWriter/AlloyInEcore Public

    Embedding of First-Order Relational Logic into Meta-Object Facility

    Java 4 1

  5. vc-gen vc-gen Public

    Verification Condition Generator for a Simple Imperative Language and a Guarded Command Language

    C++ 2

  6. microsat-cpp microsat-cpp Public

    micro SAT solver written in c++

    C++ 1