Dr. Vasileios Germanos is a Senior Lecturer in Computer Science in the School of Computer Science and Informatics at De Montfort University. 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 analyze 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 analyze the security properties in Cloud computing systems; and working on formal verification properties (diagnosis) to ensure the resilient functionality of the above systems.