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.
I am interested in programming languages and verification for concurrent and distributed systems. AI coding agents now produce code faster and in greater volume than humans can review, so compilers and verifiers have to become the reviewers. I want to build languages, type systems, compilers, and verification tools that make entire classes of bugs in these systems, such as memory-ordering and consistency bugs, unrepresentable. I want correctness to follow from construction rather than testing, and every rejected program should tell exactly what went wrong.
I came to this from building systems. At Sotoon, a cloud provider, I tracked down a data race in our Kubernetes storage plugin that could have deleted over 70 TB of customer data, exactly the kind of bug a type system can rule out. I have implemented lock-free data structures and hazard pointers in Rust, and I maintain shmem-bind, a Rust library whose types guarantee that shared memory is cleaned up.
At SDSU I built Yggdrasil, a 3D scene graph library for robots that answers queries up to 121× faster than a published baseline. I am now extending it to multiple agents whose views of the world conflict, which is at heart a consistency problem. 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
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:
Sharif University of Technology, Teaching Assistant and Head TA, 2019 – 2023
Quera, Course Design, 2022
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: