̨ÍåÂãÁÄÖ±²¥

Dr. Vasileios Germanos is a Senior Lecturer in Computer Science in the School of Computer Science and Informatics at ̨ÍåÂãÁÄÖ±²¥. He obtained his MSc (2011) and PhD (2015), both in Computing Science from Newcastle University, UK.

His research interests include pi-calculus; Petri nets; distributed and concurrent systems (qualitative and quantitative analysis of such systems); cyber security (diagnosis, information flow security, metrics and standards).

He has a strong research background in theoretical computer science, and cyber security. He has a BSc in Electronic Engineering, and during the past six years (PhD plus Lecturing period) he has been developing systematic approaches to formally verify and qualitatively analyse the information flow security, in concurrent and distributed systems. He is focusing on developing new fragments of process calculi and tools to formally verify reference passing systems, e.g., Internet of Things and Cloud computing systems; on using formal models (e.g., Petri nets) to qualitatively and quantitatively analyse the security properties in Cloud computing systems; and working on formal verification properties (diagnosis) to ensure the resilient functionality of the above systems.

Cyber Technology Institute (CTI)

Journal papers:

1. Zeng, W., Koutny, M., Watson, P. and Germanos, V. “Formal verification of secure information flow in Cloud computing”. In special issue on security and privacy in Cloud computing, Elsevier Journal of Information Security and Applications, Volume 27-28, Pages: 103-116, April – May 2016

2. Khomenko, V. and Germanos, V. “Modelling and analysis mobile systems using pi-calculus (EFCP)”. In Transactions on Petri Nets and Other Models of Concurrency X. Lecture Notes in Computer Science, Volume 9410, Springer, Pages: 153-175, 2015

3. Germanos, V., Haar, S., Khomenko, V. and Schwoon, S. “Diagnosability under Weak Fairness”. In special issue on best papers from IEEE International Conference on Application of Concurrency to System Design, ACM Journal of Transactions on Embedded Computing Systems, Volume 14, Pages: 1-19, 2015

Conference papers:

1. Zeng, W. and Germanos, V. "Benefit and cost analysis of cloud computing security". In Harnessed Causality: Essays Dedicated to Maciej Koutny on the Occasion of His 60th Birthday, September 2018.

2. Germanos, V. and Secco, E. “Formal verification of robotics navigation algorithms”. In 19th IEEE International Conference on Computational Science and Engineering, September 2016

3. Germanos, V., Haar, S., Khomenko, V. and Schwoon S. “Diagnosability under weak fairness”. In 15th IEEE International Conference on Application of Concurrency to System Design, June 2014. (selected as one of best papers, nominated for the best paper award)

Formal methods, pi-Calculus, Petri nets, diagnosis, distributed and concurrent systems, information security, security policies, IoT, cloud computing, robotics

Software Development

PhD in Computing Science, Newcastle University, U.K.

MSc in Computing Science, Newcastle University, U.K.

PGCert in Higher Education, Liverpool Hope University, U.K.

BSc in Electronic Engineering Educators, ASPETE University, Greece

BSc level: Database Technologies, Web Development, MSc level: Cyber Security

Chairing: Session Chair: 19th IEEE International Conference on Computational Science and Engineering, Paris, France, August 2016

Fellow, The Higher Education Academy

Member, Association for Computing Machinery (ACM)

Vasileios Germanos (PI) and Emanuele Secco, “Formal verification of robotics navigation algorithms”, Faculty research funds from Faculty of Science, Liverpool Hope University, 04/2016 – 07/2016, £2186