Basagiannis Stylianos

From 2023, Stelios Basagiannis holds an academic position (assistant professor) with the department of computer, informatics and tellcomunication engineering for the International Hellenic University (IHU). He has a PhD (2004) from the dept. of Informatics and a BSc (2004) from the same university (AUTH), and a MSc degree (2205) from Heriot-Watt University. His PhD thesis was “Developing formal methods for security protocols’ validation”.
Stelios worked and continues to hold various positions in industry and academia from 2011 working for United Technologies Research Centre, Raytheon Research Centre and Collins Aerospace, University of Macedonia and Aristotle University of Thessaloniki.
He has published more than 45 journal and conference papers/books in international conferences and peer reviewed journals and holds more than 5 invention disclosures, related to cyber-security and safety of cyber-physical systems. He had been leading or contributing to more than 25 R&D projects funded by the European commission and national funds. His research interested include formal analysis and verification of hardware and software, modeling and development of cyber-physical systems, safety critical embedded systems, all-system security validation and verification.

Scientific Field:

Standard Methods in Software Development

Courses taught:

(ΠΛΕ09102) Σχεδιασμός και Ανάπτυξη Πληροφοριακών Συστημάτων, (ΠΛΥ01032) Cοmputer Programming I, (ΠΛΥ05042) Περιβάλλοντα Ανάπτυξης Λογισμικού

Office Hours:

Monday 12:00 - 14:00

Room:

1st floor

Phone Number:

+30 23210 49382

Email:

[javascript protected email address]

Public Profiles: