Professors

Kimiya Kolahdouz

MSc

Start: Sep. 2019
Finish: Jan. 2023
Thesis Title: Formal Verification of BPMN Models Using Automatic Generation of OCL Constraints
Supervisor: Dr. Shekoufeh Kolahdouz-Rahimi     Advisor: Dr. Kevin Lano
more

Atefeh Nirumand

PHD

Start: Sep. 2018
Finish: Jan. 2023
Thesis Title: An Integrated Model-based Framework for Inter-App Communication Security Analysis of Android Apps
Supervisor: Dr. Bahman Zamani     Advisors: Dr. Behrouz Tork Ladani & Dr. Jacques Klein
more

Sayyed Mohammad-Sajad Kasaei

PhD STUDENT

Start: Sep. 2022
Thesis Title: --
Supervisor: Dr. Afsaneh Fatemi       Co-Supervisor: Dr. Bahman Zamani
more

Mohammadreza Sharbaf

PhD

Start: Sep. 2016
Finish: Oct. 2022
Thesis Title: A Framework for Semi-Automatic Conflict Management in Online and Offline Collaborative Modeling
Supervisor: Dr. Bahman Zamani     Co-Supervisor: Dr. Gerson Sunyé
more

Mohammadreza Talebi

MSc

Start: Sep. 2019
Start: Sep. 2022
Thesis Title: Model-Driven Framework for Automatic Secure Code Generation for Ethereum Smart Contract
Supervisor: Dr. Shekoufeh Kolahdouz-Rahimi     Advisor: Dr. Behrouz Tork Ladani
more

Yaser Shahvari

PhD STUDENT

Start: Sep. 2021
Thesis Title: --
Supervisor: Dr. Shekoufeh Kolahdouz-Rahimi
more

Mohsen Gholami

PhD STUDENT

Start: Sep. 2021
Thesis Title: --
Supervisor: Dr. Bahman Zamani
more

Sayyed Arman Taheri

MSc STUDENT

Start: Sep. 2021
Thesis Title: Android Inter-App data-flow analysis using Model-Driven techniques for information leakage detection
Supervisor: Dr. Bahman Zamani     Advisor: Dr. Behrouz Tork Ladani
more

Shayan Badiei

MSc

Start: Sep. 2019
Finish: Feb. 2022
Thesis Title: A Low-Code Framework for Developing Educational Chatbots
Supervisor: Dr. Bahman Zamani     Advisor: Dr. Leila Samimi-Dehkordi
more

Sayyed Mohammad-Sajad Kasaei

MSc

Start: Sep. 2019
Finish: Feb. 2022
Thesis Title: A New Framework for Consistent N-Way Model Merging
Supervisor: Dr. Bahman Zamani
Current Position: Ph.D. Student at University of Isfahan
more