I am a Software Engineering (MS.c.) Student in the CPSL lab at UT ECE, advised by Dr. Mehdi Kargahi and Dr. Fatemeh Ghassemi. I am interested in Formal Verification, Software Testing and Artificial Intelligence (AI).

Education

• University of Tehran
  Master of Science (MSc), Computer Engineering
  2021 - 2024
  Grade: (19.64 / 20)

• University of Tehran
  Bachelor of Science (BSc), Computer Science
  2016 - 2020
  Grade: (17.4 / 20)

• National Organization for development of Exceptional Talents (Sampad)
  Diploma in Mathematics and Physics
  2012 - 2016
  Grade: (19.7 / 20)

work Experience

• Software Engineer
  Backend Developer
  ZharfaTech, Tehran, Iran
  Engineering advanced, AI–based software products with a focus on quality, scalability, and real-world impact
  spring 2025 - now

Teaching Experience

• Computer Networks
  Teaching Assistant
  Instructor: Dr. Ahmad Khonsari
  School of ECE, University of Tehran
  Fall 2025

• Fundementals of Distributed Systems
  Teaching Assistant
  Instructor: Dr. Mahdi Dolati
  School of ECE, University of Tehran
  Spring 2025

• Advanced Computer Networks
  Teaching Assistant
  Instructor: Dr. Ahmad Khonsari
  School of ECE, University of Tehran
  Fall 2024

• Advanced Software Testing
  Teaching Assistant
  Instructor: Dr. Ehsan Khamespanah
  School of ECE, University of Tehran
  Spring 2024

• Process Algebra and Automata Theory
  Teaching Assistant
  Instructor: Dr. Fatemeh Ghassemi
  School of ECE, University of Tehran
  Spring 2024

• Performance Evaluation of Computer Systems
  Teaching Assistant
  Instructor: Dr. Ahmad Khonsari
  School of ECE, University of Tehran
  Spring 2023

• Statistical Inference
  Teaching Assistant
  Instructor: Dr. Behnam Bahrak
  School of ECE, University of Tehran
  Fall 2022

• Computer Architecture
  Teaching Assistant
  Instructor: Dr. Bagher Babaali
  School of Computer Science, University of Tehran
  Spring 2019

• Digital System Design
  Teaching Assistant
  Instructor: Dr. Bagher Babaali
  School of Computer Science, University of Tehran
  Spring 2019

Skills Summary

• Programming Languages: Python, Java, C++, Golang, SQL, Bash, Assembly
• Frameworks: ANTLR, Apache Kafka, Apache Spark, Familiar with OpenGL
• Tools: Docker, GIT, SQL Server, Kubernetes, UPPAAL
• Platforms: Linux, Windows
• Typesetting: LaTeX, Microsoft Office
• Other Skills: Familiar with PLC Siemens Programming, Cisco CCNA, Comptia Network+
• Language: Persian, Azerbaijani, English

Research Interests

• Software engineering (SE)
• AI-in-SE
• GenAI

(Last update: Nov 26, 2025)