He obtained his Ph.D degree in software engineering from Queen’s University (Canada).His master degree is in Computer Science from YU. He had B.Sc degree in computer science from YU. His research interests include: Software engineering, software testing, model-based testing, mutation testing, debugging and verification.