People

Director:

Dr. Seyyed-Hassan Mirian Hosseinabadi
Associate Professor
Research Areas:
-Formal Software Development
-Software Testing
-Grammar-Based Software

PhD Students:

Mostafa Mahdieh
PhD Candidate
Research Areas:
Software Defect Prediction
Software Testing
Software Repository Mining
Empirical Software Engineering
Thesis Title:
Improving ‎Software ‎Test Effectiveness Using Defect Prediction
Zohreh Mafi
PhD Candidate
Research Areas:
Automatic Transformation of Formal Specification to Source Code
Formal Software Development
Software Testing
Thesis Title:
Test Driven Development
Mehran Rivadeh
PhD Candidate
Research Areas:
Formal Methods
Workflow Management
Type Theory
Lambda Calculus
Alireza Aghamohammadi
Ph.D. Candidate
Research Areas:
Empirical Software Engineering
Automated Software Engineering
Mining Software Repositories
Software Engineering
Software Testing
LinkedIn pageGithub page

MSc Students:

Sajad Jalali
MSc Student
Ali Nosrati
MSc Student