Skip to content
View ferhaterata's full-sized avatar
:octocat:
:octocat:
29 followers · 51 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

Report abuse

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

Report abuse
ferhaterata/README.md

Hi there 👋

  • 🎓 I'm currently a PhD candidate at Yale University.
  • 🔭 My recent research focuses on automated inference of properties and invariants from code.
  • ⚡ I use Machine Learning and Formal Techniques in my research. I like blending them.
  • 📕 I’m currently learning machine learning (ml) and large language models (llms).
  • 💬 Ask me about program analysis and automated reasoning in general.
  • 📫 How to reach me: https://ferhat.ai

Pinned Loading

  1. ModelWriter/Tarski ModelWriter/Tarski Public

    A Platform for Automated Analysis of Traceability (WP3)

    Java 8 1

  2. emina/kodkod emina/kodkod Public

    Kodkod solver for relational logic

    Java 72 23

  3. ModelWriter/AlloyInEcore ModelWriter/AlloyInEcore Public

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

    Java 3 1

  4. vc-gen vc-gen Public

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

    C++ 2

  5. microsat-cpp microsat-cpp Public

    micro SAT solver written in c++

    C++

  6. etap etap Public

    Energy-aware Timing Analysis of Intermittent Programs

    HTML 3 1