I am a Senior Lecturer in Cyber Security at the University of Greenwich, UK. There I am leading the formal methods efforts in Internet of Things and Security Research Group. I have received a MSc in Advanced Distributed Systems from the University of Leicester, UK in 2008 and PhD (Dr. techn.) in 2014 in Software Engineering from the Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Austria, both with distinction. I was a Lecturer in Cyber Security at Surrey Center of Cyber Security, University of Surrey, UK during 2018 and 2019. Prior to that I was a Postdoc at the MIT CSAIL, USA (jointly with QCRI) during 2014-2016 and in SERG Group at the Alpen-Adria University, Austria during 2016-2018. My research has been recognised through (i) winning awards in the most premier research venues including CICM 2012, WF-IoT 2016 and ICS-CSR 2019, to name a few and (ii) winning mega research grants by distinguished international and regional funding agencies including H2020, FWF and NSF/DARPA, to name a few. I am a member of ACM and IEEE.
My research interests are in:
On October 7, we have a kickoff meeting of WP5 of our very ambitious, exciting and challenging H2020 project ENSURESEC.September 2020
I have successfully co-organized a special session in a very exciting industrial-academic joint event ETFA 2020 in AustriaAugust 2020
We have launched a website of our flagship H2020 project ENSURESECJuly 2020
I am serving as technical foreign expert to a research project Responsible Safe and Secure Robotic Systems Engineering (SEEROSE) funded by Karl Popper Kolleg, Austria