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