He is head of the Department of Correct Systems Development, whose research is related to the field of programming theory.
وهو رئيس قسم تطوير الأنظمة الصحيحة والتي يرتبط بحثها بمجال نظرية البرمجة.