This page lists the bachelor’s and master’s students I have had the pleasure of advising. If you are interested in working with me, you can find more information on the student projects page.

🌟 Current Students

🎓 Tanvi Moharir

Degree: MSc at Rheinland-Pfälzische Technische Universität (RPTU)
Project: Research Assistant (co-advised with Srinidhi Nagendra)
Title: Blocking and Unblocking DPOR-based semantics for Java Thread API
Date: 2025/02–Present

🏆 Past Students

🎓 Kiana Mousazadeh

Degree: BSc at Sharif University of Technology (SUT)
Project: Summer Internship
Title: DPOR-based Model Checking of Thread Pools, Parking/Unparking, and Message Passing in Java programs
Date: 2024/07–2024/10

🎓 Hamza Mehmood

Degree: MSc at Rheinland-Pfälzische Technische Universität (RPTU)
Project: Master Seminar
Title: Leveraging JavaSMT and JMC for Symbolic Reasoning and Verification
Date: 2024/04–2024/07