Pasha Barahimi

Pasha Barahimi is a research assistant at the Max Planck Institute for Software Systems, specializing in model checking since July 2023. Concurrently, Pasha serves as a teaching assistant at the University of Tehran, supporting various courses in Artificial Intelligence under Dr. Fadaei, Formal Languages and Automata Theory with Dr. Hojjat, Advanced Programming with Dr. Khosravi, Design of Algorithms with Dr. Dousti, and Data Structures and Algorithms with Dr. Faili. Additionally, Pasha works as a software engineer in the security team at Sotoon and participated in an SRE Summer Camp. Pasha is pursuing a Bachelor's degree in Computer Engineering at the University of Tehran, with an expected graduation date in June 2024.