Research areas
- Lab for Ai and Verification (LAIV) - Prof Ekaterina Komendantskaya
- Parallel functional programming - Dr Hans-Wolfgang Loidl
- Hardware implementation of high level languages - Dr Rob Stewart
- Cyber Security - Dr Manuel Maarek
- Networking, IoT, and their Applications - Dr Idris S. Ibrahim
- High-integrity software-intensive systems - Prof Andrew Ireland
- Type systems - Prof Jurriaan Hage
- Type error diagnosis - Prof Jurriaan Hage
- static analysis of functional languages - Prof Jurriaan Hage
- Programmable hardware for signal/image processing - Dr Rob Stewart
- Interactive theorem proving - Dr Kathrin Stark
- (Mechanised) metatheory of programming languages - Dr Kathrin Stark
- Metaprogramming - Dr Kathrin Stark
- Functional programming with advanced type systems, especially dependently-typed functional programming - James McKinna
- Interactive theorem proving, formalised mathematics - James McKinna
- Lambda calculus, type theory, mathematical logic - James McKinna
- Automated reasoning - Prof Andrew Ireland
- Formal methods - Prof Andrew Ireland