Skip to content
Contact

Research

Often the hard part is not finding the answer, but asking the right question.

Interests

Software engineering methodology

How intent becomes working software, and which practices hold up when they are examined rather than assumed.

Task

Scenario

Test

Code

Each task traced to the scenario that describes it, the test that runs it, and the code it reaches. Point at any of them to follow the chain.

Executable specifications

Specifications that people can read, that run as tests, and that yield formal models from the same source.

    Edit the step to see how Cucumber reads it.

    Discrete mathematics

    Graph theory and finite-state machines, the structures underneath processes, workflows, and programs.

    Current state: Open

    A finite-state machine: every event is allowed in some states and not others.

    Education

    1. 2023–2026

      MSc in Computer Engineering, Software Engineering

      Amirkabir University of Technology (Tehran Polytechnic)

      • Supervised by Dr. Alireza Bagheri, and co-supervised by Prof. Mohammad Reza Razzazi.
      • Teaching assistant for Advanced Software Engineering, Fall 2023, where I led hands-on sessions on React, TypeScript, and software testing.
      • Teaching assistant for Database Design, Winter 2024.

    2. 2019–2023

      BSc in Computer Engineering

      Azad University, Khorramabad

      • Received the Top Student Award in 2022 for the top rank in the Computer Engineering program.

    3. 2011–2018

      High school diploma, Experimental Sciences

      NODET (Sampad) Shahid Beheshti School, Khorramabad

      • Middle and high school at NODET, Iran’s schools for exceptionally talented students.
      • Admitted with the top rank in Lorestan Province in the final round of the national entrance exam.

    Contact

    For academic inquiries, write to [email protected].