Επιστημονικές περιοχές:

• Αντικειμενοστρεφής και Μεταβολοστρεφής Προγραμματισμός
  
• Λογικός και Συναρτησιακός Προγραμματισμός
  
• Μοντελοποίηση και Προσομοίωση
  
• Τεχνολογία Λογισμικού και Ανάλυση Συστημάτων
  
• Τεχνολογία Παράλληλου Λογισμικού