- ๐ 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
ferhaterata / fz Goto Github PK
View Code? Open in Web Editor NEWThis project forked from johannchangtw/fz.sh
Cli shell plugin, the missing fuzzy tab completion feature of z jump around command.
License: Mozilla Public License 2.0