Αναπληρωτής Καθηγητής

Τμήμα Πληροφορικής

Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης

e-mail: katsaros [at] csd.auth.gr
url-1: http://depend.csd.auth.gr
url-2: http://delab.csd.auth.gr/~katsaros

Ακαδημαϊκό προφίλ

  • Επιβλέπων καθηγητής σε δύο διδακτορικά και σε τρία σε εξέλιξη
  • Επισκέπτης Καθηγητής στο Dept. of Computer Science, State Un. of New York (SUNY) at Stony Brook (Ερευν. Εργαστήριο: Concurrency & Verification υπό τη διεύθυνση του Prof. Scott Smolka), Ην. Πολιτείες (2010)
  • Διδακτορικό Δίπλωμα με τίτλο «Κατανεμημένα Υπολογιστικά Συστήματα», Τμ. Πληροφορικής, Αριστοτέλειο Παν. Θεσ/νίκης (2002)
  • Master of Science in Software Engineering, Aston University, UK (1993)
  • Πτυχίο Μαθηματικών Αριστοτελείου Παν. Θεσ/νίκης (1992)

Ερευντικά ενδιαφέροντα

Μέθοδοι Τυπικής Επαλήθευσης για την Αξιοπιστία & Ασφάλεια Λογισμικού και Συστημάτων

Άξονες έρευνας:

  • Σχεδίαση Συστημάτων & Λογισμικού Ταυτοχρονισμού
  • Σχεδίαση Συστημάτων Υπηρεσιών & Διαδικτύου Αντικειμένων
  • Ασφάλεια σε Κατανεμημένα Συστήματα
  • Σχεδίαση Συστημάτων για το Διάστημα
  • Στατική και Δυναμική Ανάλυση Λογισμικού
  • Ανάλυση Αρχιτεκτονικής Λογισμικού

Δημοσιεύσεις-Διακρίσεις-Αντίκτυπος

  • 71 ερευνητικά άρθρα σε διεθνή συνέδρια και έγκυρα επιστημονικά περιοδικάχεδίαση Συστημάτων Υπηρεσιών & Διαδικτύου Αντικειμένων
  • Συμμετοχή στη συγγραφή 1 διδακτικού εγχειριδίου πανελλήνιας κυκλοφορίας, σύνταξη 2 επιστημονικών βιβλίων σε διεθνείς εκδοτικούς οίκους
  • Περισσότερες από 379 αναφορές στο Google Scholar (h-index: 12)
  • Βραβεία καλύτερης επιστημονικής εργασίας στα 15ο και 17ο Πανελλήνιο Συνέδριο Πληροφορικής (ΕΠΥ PCI)
  • Προσκεκλημένος ομιλιτής στα Παν. Οξφόρδης και Un. Of Hull της Μεγ. Βρετανίας, στο Παν. του Groningen της Ολλανδίας και στο Δημοκρίτειο Παν. Θράκης

Χρηματοδοτούμενη έρευνα & αναπτυξιακά προγράμματα

  • Επιστημονικός Υπεύθυνος σε 2 χρηματοδοτούμενα ερευνητικά έργα του Ευρωπαϊκού Οργανισμού Διαστήματος (ESA)
  • Συμμετοχή σε πλήθος έργων έρευνας & ανάπτυξης με χρηματοδότηση από την Ε.Ε., την ESA και τη Γεν. Γραμματεία Έρευνας και Τεχνολογίας