About Me

Click a section below to jump to it:

Download CV

Interests

Formal Methods
Program Analysis
Software Testing
AI for Software Engineering

Education

Ph.D. in Computer Science
2023 - Present

University of Nebraska–Lincoln, Lincoln, NE, USA

Grade: 3.87/4.00

Research Focus: Applying formal methods and program analysis techniques to verify safety and liveness properties, with a particular emphasis on termination and non-termination reasoning.

Advisor: Dr. Rahul Purandare

M.Sc. in Computer Science
2023 - 2026

University of Nebraska–Lincoln, Lincoln, NE, USA

Grade: 3.94/4.00

Description: Completed a course-based M.Sc. alongside Ph.D. studies with a focus on advanced computer science coursework.

M.Sc. in Computer Engineering (Software)
2018 - 2021

Iran University of Science and Technology (IUST), Tehran, Tehran, Iran

Grade: 18.69/20.00 (ranked 1st)

Thesis: Development of a Constraint Solver to Determine the Domain for Complex Data Types

Advisor: Dr. Saeed Parsa

B.Sc. in Computer Engineering (Software)
2013 - 2017

Babol Noshirvani University of Technology (NIT), Babol, Mazandaran, Iran

Grade: 17.29/20.00 (ranked 1st)

Final Project: Study and Investigation of Routing Protocols in Wireless Sensor Networks

Advisor: Dr. Mojtaba Mansouri

Skills

Program Verification & Analysis Tools

Roslyn
LLVM/Clang
Z3
KLEE
SeaHorn
Frama-C
DG

Software Testing & Fuzzing

AFL
NUnit
IntelliTest

Programming Languages

C/C++
C#
Python

Frontend Development

HTML
CSS
JavaScript

Backend Development

Entity Framework Core
ASP.NET Core (Web API, MVC)

Databases

Microsoft SQL Server
PostgreSQL

Systems & Development Tools

Docker
Git

Experience

Teaching Assistant
Aug. 2025 – Present

University of Nebraska-Lincoln, Lincoln, NE, USA

Assisted in teaching undergraduate and graduate computer science courses, supported students with course material, graded assignments and exams, and held office hours.

Courses: CSCE 322 (Programming Language Concepts); CSCE 423/823 (Design and Analysis of Algorithms)

Graduate Research Assistant
Aug. 2023 – Jul. 2025

University of Nebraska-Lincoln, Lincoln, NE, USA

Advisor: Dr. Rahul Purandare

Applied formal methods and program analysis techniques to verify safety and liveness properties, with a particular emphasis on termination and non-termination reasoning.

Academic Service

Ad hoc Reviewer
Jun. 2026

Machine Intelligence Research

Served as an invited ad hoc reviewer for Machine Intelligence Research, reviewing one submitted manuscript and providing peer-review feedback.

Certifications

Types, Logic, and Formal Methods
Jun. 2025

Oregon Programming Languages Summer School (OPLSS), University of Oregon

Types, Semantics, and Applications
Jun. 2024

Oregon Programming Languages Summer School (OPLSS), Boston University

ASP.NET MVC
Nov. 2020

Learning Information Technology Lab (LAITEC), Sharif University of Technology

ASP.NET
Oct. 2019

Learning Information Technology Lab (LAITEC), Sharif University of Technology

C# Programming
Jan. 2019

Learning Information Technology Lab (LAITEC), Sharif University of Technology

Honors & Awards

Othmer Fellowship
2023 - 2026

University of Nebraska-Lincoln

Ranked 1st among M.Sc. students in Computer Engineering
2021

Iran University of Science and Technology

Ranked 1st among B.Sc. students in Computer Engineering
2017

Babol Noshirvani University of Technology

Languages

Persian (Native)
English (Fluent)