I am a Software Engineering (MS.c.) Student in the CPSL lab at UT ECE, advised by [Dr. Mehdi Kargahi](https://scholar.google.com/citations?user=oH19bK4AAAAJ&hl=en) and [Dr. Fatemeh Ghassemi](https://scholar.google.com/citations?user=ymM5kfAAAAAJ&hl=en). 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)

Teaching Experience

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

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

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

(Last update: Sep 26, 2024)