תחומי התמחות והתעניינות v הנדסת תוכנה
v ניתוח ועיצוב מונחה עצמים
v אבולוציית תוכנה (שילוב של אימות פורמאלי ומבדקים)
v הנדסת תוכנה לחישובים מקביליים
v אפיון ותיכון של מערכות תגובתיות ומערכות זמן אמת
v אימות של מערכות תגובתיות ומערכות זמן אמת
v המודל הסינכרוני לאפיון ומימוש מערכות