Kutatási területek

• "Design Space Exploration"
  • Gráf modellek felett kényszer kielégítési problémák specifikációja és megoldása
  • Bejárás optimalizációk
• Modell vezérelt fejlesztés
  • beágyazott rendszerek fejlesztése: repülőgépipar
• Gráf mintaillesztés optimalizálása
  • lokális kereséssen alapuló algoritmusok
  • hibrid mintaillesztési algoritmusok (lokális keresésen alapú és inkrementális)
• Modelltranszformációk verifikációja:
  • Statikus analízis alapú ellenőrzések
  • "Design-by-Contract" paradiga használata Hoare logikán alapuló tételbizonyítókkal: JML a KeY  rendszerrel és Spec#
• A gráfbányászat hasznosítása a modellvezérelt fejlesztés során