I am an M.S. student in Computer Science at San Diego State University, where I work as a research assistant with Bryan Donyanavard. I am applying to PhD programs for Fall 2027.
My research interests are in programming languages and verification for concurrent and distributed systems. I want to make deadlocks, data races, memory-ordering and consistency bugs unrepresentable, rather than finding them after the fact. I am also interested in type systems, verified program rewriting with e-graphs, and safe systems programming in Rust.
At SDSU I built Yggdrasil, a 3D scene graph for robots written in Rust that answers queries up to 121× faster than a published baseline. I am now extending it to multi-agent settings, where a global server resolves the logical and semantic conflicts between the agents’ views of the world. I also collaborate with researchers at the University of Illinois Urbana-Champaign on AEBench, a benchmark of AI agents on artifact evaluation. Before SDSU, I was a graduate researcher at Bowling Green State University, where I built LinkAnchor (FSE ‘26), an LLM agent for issue-to-commit link recovery.
I have industry experience as a Software Engineer at Sotoon, a cloud service provider, and as a Data Platform Engineer at Digikala, the largest e-commerce company in the Middle East.
I received my Bachelor of Science in Computer Engineering from Sharif University of Technology.
Download my academic resumé. Download my industrial resumé.
M.S. in Computer Science, Fall 2025 - present
San Diego State University
B.Sc. in Computer Engineering, Fall 2018 - July 2024
Sharif University of Technology
Advisor: Bryan Donyanavard
With Bogdan Alexandru Stoica
Advisor: Abbas Heydarnoori
Sharif University of Technology, Teaching Assistant and Head TA, 2019 – 2023
Quera, Course Design, 2022
The ICPC International Collegiate Programming Contest, known as the ICPC, is an annual multi-tiered competitive programming competition among the universities of the world.
As Chief of Technical Staff, I led a technical team of 10 members and addressed a variety of technical needs, such as:
AIC is the biggest AI contest in the country, in which teams develop AI strategies to compete against other teams.
As the Chief of Infrastructure and System Team, I was tasked with leading a team of 4 to address the Infrastructure needs of the contest:
Sotoon is a B2B cloud provider that focuses on reliable and scalable computing solutions. I worked in the K8s-as-a-Service team, designing and maintaining Sotoon’s Kubernetes engine and several integrations to Sotoon’s services, such as CSI, CNI, and Auto-scaler.Key Achievements:
Digikala is the largest e-commerce company in the Middle East, serving over 40 million users. As part of the Big Data & AI team, I was responsible for building and maintaining the infrastructure required to efficiently store, process, and manage the vast amounts of data generated by user activity.Key Achievements:
Tapsell is a leading AdTech company in the Middle East. As part of the DevOps team, I provided cloud infrastructure and platform services that enabled other technical teams to build, deploy, and scale their applications efficiently.Key Achievements: