People

Director:

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

PhD Students:

Mojtaba Varmazyar
PhD Candidate
Research Areas:
Software Engineering (Through a realistic definition for “Software”)
Software -abilities
Grammar-Based Software
Formal Software Development
Database Design
Object Oriented Analysis and Design
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
Mohammad Salehe
PhD Candidate
Research Areas:
Computational Complexity
Formal Methods
Type Theory

MSc Students:

Sajad Jalali
MSc Student
Ali Nosrati
MSc Student