معرفی
Dr. Vasileios Germanos is a Senior Lecturer in Computer Science at De Montfort University, affiliated with the School of Computer Science and Informatics within the Faculty of Computing, Engineering and Media. He is an active researcher in formal methods and cybersecurity, contributing to both theoretical foundations and practical applications in distributed systems, cloud computing, and robotics.
Education:
- PhD in Computing Science, Newcastle University, UK
- MSc in Computing Science, Newcastle University, UK
- PGCert in Higher Education, Liverpool Hope University, UK
- BSc in Electronic Engineering, ASPETE University, Greece
His research focuses on formal verification using pi-calculus and Petri nets to analyze security, concurrency, and diagnosability in complex systems. He specializes in secure information flow, cloud and IoT security, and resilient system design. His work bridges theoretical computer science with real-world cybersecurity challenges, particularly in reference-passing architectures.
The recent publications highlight a strong trend in applying formal methods to cloud security, robotics, and diagnosability under fairness constraints. These works span disciplines including cybersecurity, distributed computing, and autonomous systems, with emphasis on rigorous modeling and verification techniques.
Scientific Awards and Recognitions:
- Best Paper Nominee, 15th IEEE International Conference on Application of Concurrency to System Design (2014)
- Session Chair, 19th IEEE International Conference on Computational Science and Engineering, Paris, France (2016)
Dr. Germanos has served as Principal Investigator on research projects such as the formal verification of robotics navigation algorithms, funded by Liverpool Hope University. He supervises research in cybersecurity and formal methods, and is actively involved in academic service through professional memberships and conference roles. His teaching includes Database Technologies, Web Development, and Cyber Security at undergraduate and postgraduate levels.
He is affiliated with the Cyber Technology Institute (CTI) at De Montfort University, a research center focused on advancing cybersecurity technologies and applications through interdisciplinary collaboration and innovation.
