Click a section below to jump to it:
University of Nebraska–Lincoln, Lincoln, NE, USA
Grade: 3.88/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
University of Nebraska–Lincoln, Lincoln, NE, USA
Grade: 3.94/4.00
Completed a course-based M.Sc. alongside Ph.D. studies with a focus on advanced computer science coursework.
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
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
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); CSCE 428/828 (Automata, Computation, and Formal Languages).
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.
Contributed to the NSF-supported project "Collaborative Research: FMitF: Track II: Enabling Pluggable Runtime Verification Optimizations" (NSF Award No. 2525242; PI: Dr. Rahul Purandare).
Machine Intelligence Research
Reviewed one manuscript across two rounds.
Third Workshop on Computer Vision for Geospatial Image Analysis, IEEE/CVF WACV
Reviewed three manuscripts.
Oregon Programming Languages Summer School (OPLSS), University of Oregon
Oregon Programming Languages Summer School (OPLSS), Boston University
Learning Information Technology Lab (LAITEC), Sharif University of Technology
Learning Information Technology Lab (LAITEC), Sharif University of Technology
Learning Information Technology Lab (LAITEC), Sharif University of Technology
University of Nebraska-Lincoln
Iran University of Science and Technology
Babol Noshirvani University of Technology