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.
July 2017: Partner Investigator (PI) in the Australian Research Council's Grant for setting up a Research Hub for Digital Enhanced Living at Deakin University. Total ARC funding ~ $3 million AUD.
June 2017: Received Kiwinet Emerging Innovator Award.
June 2017: Completed Software Architecture Professional Certificate from The Software Engineering Institute, Carnegie Mellon University
March 2017: Received 150,000 SEK funding from Swedish Government for a joint project in Industrial Informatics Software with Lulea University of Technology and Central Queensland University
March 2017: Accredited as a Senior Fellow of the Higher Education Authority, UK (SFHEA).
Jan/Feb 2017: 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