Research themes
Security and efficiency as a single systems problem.
SECT connects algorithmic ideas, systems architecture, and hardware-aware
optimisation. The goal is not simply to produce accurate models, but to
create complete systems that remain secure, measurable, and efficient.
01
Secure AI and software systems
Methods for trustworthy AI, software supply-chain security, formal
security reasoning, attack-surface analysis, and secure-by-design system
architectures.
- AI-enabled formal methods
- Software supply-chain assurance
- Security metrics and verification
02
Efficient LLM inference
Communication-aware inference for distributed and edge platforms,
including activation compression, tensor parallelism, and resource-aware
deployment.
- Low-bandwidth inference
- Quantisation and compression
- Edge and embedded AI
03
Hardware–software co-design
Cross-layer methods linking architecture, algorithms, arithmetic, memory,
communication, and security constraints.
- Memory and communication optimisation
- FPGA and heterogeneous systems
- Design-space exploration
04
Energy-aware computing
Models and design techniques for understanding where energy is spent and
how system-level decisions reshape performance, power, and reliability.
- Cross-layer energy modelling
- Energy–latency trade-offs
- Sustainable computing systems