About Me

Click a section below to jump to it:

Download CV

Interests

Formal Verification Static and Dynamic Program Analysis SAT/SMT-Based Reasoning Software Testing

Education

Ph.D. in Computer Science
2023 - Present

University of Nebraska–Lincoln (UNL), Lincoln, NE, USA

Research Focus: Formal verification and program analysis methods for verifying safety and liveness properties, with an emphasis on termination and non-termination reasoning.

Advisor: Dr. Rahul Purandare

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

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

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

Supervisor: Dr. Saeed Parsa

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

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

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

Supervisor: Dr. Mojtaba Mansouri

Skills

Program Analysis & Verification

LLVM/Clang Roslyn DG (Static Slicer) KLEE Z3

Testing & Fuzzing

AFL (Fuzzer) 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

DevOps & Tools

Docker Git

Experience

Graduate Research Assistant to Dr. Rahul Purandare
Fall 2023 - Summer 2025

University of Nebraska-Lincoln

Teaching Assistant
Fall 2025

University of Nebraska-Lincoln

CSCE 322: Programming Language Concepts

Certifications

C# Programming - Beginner Certification
Jan. 2019

LAITEC (affiliated with Sharif University of Technology)

ASP.NET
Oct. 2019

LAITEC

ASP.NET MVC - .NET Framework
Nov. 2020

LAITEC

OPLSS: Types, Semantics, and Applications
Jun. 2024

Boston University

OPLSS: Types, Logic, and Formal Methods
Jun. 2025

University of Oregon

Honors & Awards

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

Babol Noshirvani University of Technology

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

Iran University of Science and Technology

Othmer Fellowship
2023 - 2025

University of Nebraska-Lincoln

Languages

English (Fluent)
Persian (Native)