I am a Software Engineering (MS.c.) Student in the CPSL lab at UT ECE, advised by Prof. Mehdi Kargahi and Prof. Fatemeh Ghassemi. I am interested in Formal Verification, Software Testing, Distributed Systems and Program Analysis.

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)

Teaching Experience

• 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

work Experience

• Internship
  Programmable Logic Controller Programming,Introduction to Industrial electricity
  Bargh Pars, Tehran, Iran
  In this program, I first became acquainted with electrical control panels, which was followed by practical experience working with Siemens PLCs.
  Summer 2018

• Internship
  Cisco Networking and CompTIA Training
  Cando, Tehran, Iran
  Progressed from foundational knowledge in Network+ to practical, in-depth exploration of Cisco’s CCNA concepts, focusing on real-world network solutions.
  Fall 2017

Skills Summary

• Programming Languages: Python, Java, C++, SQL, Bash, Assembly, Lingua Franca
• 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

• Formal Methods in Software Engineering
• Protocol Verification
• Model Checking
• Process Algebra
• Program Analysis
• Software Testing
• Distributed Systems
• Automata Theory
• Programming Languages

(Last update: Jan 20, 2024)