My research interests broadly cover Cyber Physical Access Control, Formal Methods, and Model- Driven Architecture. I am also interested in studying, understanding, and modelling large-scale data. My more specific themes of research include: • Modelling and Verification Access Control Modelling and Analysis of Cyber Physical Systems • Formalizing Anomaly Problems for Complex Data • Anomaly detection in large complex Data • Big Data Analytics