My main research interest is Next-generation Formal Frameworks for Designing Large-scale Embedded Software. Specific sub-topics that I am working on include:
Architectures and automatic code generation for distributed software in smart-spaces, targetting e-Health and consumer applications.
Requirements engineering of large-scale embedded software, focussed on specification, management, traceability, and analysis of both functional and non-functional requirements (NFRs) like safety, timing, performance, etc.
Model-driven design, formalised architectural styles and patterns, and heterogeneous and hierarchical modelling of large-scale embedded software.
Tools and algorithms for verification and validation including automatic test-case generation, model checking, and static analysis of embedded code.
Computing domains like the Internet-of-Things (IoT), Industrial Automation Systems, Intelligent Transportation Systems (ITS), smart homes and hospitals, and classical embedded systems.
March 2017: Accredited as a Senior Fellow of the Higher Education Authority, UK (SFHEA).
Jan/Feb 2017: Awarded the best paper award at the Australasian Computer Science Conference along with Prof. John Grundy and Mr. Ayush Narula.
Dec 2016: Faculty of Design and Creative Technologies' Mid-Career Researcher Award 2016