I am a lecturer in Computer Science at University of Surrey. I am interested in Software Analysis and its applications to Software Engineering and Software Security.
Previously, I was a post-doctoral researcher at the System Software Engineering group at University College London (UCL) where I worked with Prof. 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 Prof. Lorenzo Cavallaro and Prof. 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 Prof. 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.