Click a section below to jump to it:
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
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
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
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)
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.
University of Oregon
Boston University
Information Technology Learning Lab (LAITEC), Sharif University of Technology
Information Technology Learning Lab (LAITEC), Sharif University of Technology
Information Technology Learning Lab (LAITEC), Sharif University of Technology
University of Nebraska-Lincoln
Iran University of Science and Technology
Babol Noshirvani University of Technology