About

I am a lecturer in Computer Science at University of Surrey. I am interested in program analysis and systems security.

Previously, I was a post-doctoral researcher at the System Software Engineering group at University College London (UCL) where I worked with Dr. Earl Barr on multi-modal program analysis where we used a combination of natural language and programming language processing for software analysis.

Before UCL, I was a post-doctoral researcher in the Information Security Group at Royal Holloway, University of London where I worked on program analysis for Android malware and built malware classification models with Dr. Lorenzo Cavallaro and Dr. Johannes Kinder.

I did my PhD at the University of Hertfordshire where I worked in the Compiler Technology and Computer Architecture (CTCA) group with Professor Bruce Christianson, Professor Sven-Bodo Scholz and Professor Alex Shafarenko. During my PhD, I worked on static analysis of programs using annotated type systems and proposed novel algorithms for atomic bound constraint solving for Information Flow Analysis.

Before my PhD studies, I worked in the domain of Embedded Systems where I applied dynamic program analysis techniques to optimise systems for decreasing power consumption and improving performance. During my Masters, I worked with Professor Thambipillai Srikanthan at the Centre of High Performance Embedded Systems, Nanyang Technological University, Singapore. My Masters thesis focused on using dynamic analysis to identify optimal instruction cache configurations for standalone as well as multitasking  embedded applications.