I am a PhD student at Rutgers advised by Richard Martin and Santosh Nagarakatte.

Email | GitHub | Google Scholar | LinkedIn | Reading group | Blog

Research

My research aims to improve automated reasoning techniques for program verification.

Papers

Exploring Locally Bounded Translation Validation
Alborz Jelvani, Richard P. Martin, Santosh Nagarakatte
SOAP, 2026
paper
CaST: Balancing Accelerator Design
Alborz Jelvani, Richard P. Martin, Negin Dehghanchaleshtori
LATTE, 2026
paper
How to Increase Energy Efficiency with a Single Linux Command
Alborz Jelvani, Richard P. Martin, Santosh Nagarakatte
Arxiv, 2025
paper
A Case for In-situ Hardware Development
Alborz Jelvani, Richard P. Martin, Santosh Nagarakatte
LATTE, 2024
paper / video
Identifying Possible Winners in Ranked Choice Voting Elections with Outstanding Ballots
Alborz Jelvani, Amelie Marian
HCOMP, 2022
paper / code

Industry

Google, PhD SWE Intern, May.2026 - Aug.2026

Automated Reasoning & Contracts for Networking (ARCNET) team.

Nokia Bell Labs, Research Intern, May.2022 - Aug.2022 → Outstanding Innovation Award

Placed 3/275 interns in the Nokia Global Student Program. Developed methods for cloud enabled multi-robot path planning using homomorphic encryption. I was advised by Ali Arab and Ilija Hadzic.

Teaching (TA)

Misc

I enjoy photography.

several