I completed my PhD of Computer Science at Syracuse University. My research background and interests include Formal Methods, Verification, Program Analysis, and Programming Language Design (which I'm most passionate about).
Experience
2023 — Now
2015 — 2016
Education
Syracuse University
Doctor of Philosophy (Ph.D.)
Sharif University of Technology
Master of Science - MS
Iran University of Science and Technology