Current postgraduates

• Akhtar, Naveed - TBA
• Alam, Mohammad - TBA
• Ali Shah, Syed Afaq - Real Time Object Recognition Using RGB-D Video Data
• Asif, Umar -
• Behdad, Mohammad - Adaptive Approaches to Electronic Fraud Detection in Highly Dynamic Environments
• Bian, Ji - Tableaux for real time temporal logic
• Blond, Anthony - The effect of sensor data discretisation in human activity recognition for smart spaces
• Bosveld, Joel -
• Bravo Rojas, Maria - Computation of skyline points using parallel scan algorithms on GPU devices
• Elaiwat, Said - TBA
• Garg, Deepak - Test Case Prioritization for Testing Complex Web Applications
• Gilani, Syed Zulqarnain - TBA
• Hales, James - TBA
• Hameed Khan, Salman -
• Hassan, Ghulam Mubashar - Photogrammetric Method of Distant Reconstruction of Displacement Fields in Deformable Solids.
• Hayat, Munawar - TBA
• Heinsen Egan, Matthew - Explanatory Visual Debugging to Assist Novice C Programmers
• Jiang, Zhengqiang - Tracking multiple pedestrians from monocular videos in an interacting multiple model framework
• Johnson, Keith - Statistically guided neural network construction for spatio-temporal prediction
• Kaur, Amardeep - TBA
• Khan, Zohaib - Spatio-Spectral Analysis for Multispectral Biometric Recognition
• Lei, Yinjie - Improving Image Retrieval using Text Mining and Automatic Image Annotation
• Lim, Kwan Hui - The Identification of Like-minded Communities on Online Social Networks
• Mehdizadeh, Maryam - Spectral Dimensionality Reduction
• Moradmand, Nasrin - A computer assisted framework based on the Bloom-Anderson taxonomy for teaching mathematics in early primary years
• Rahmani, Hossein -
• Stewart, Arran -
• Sui, Luke - TBA
• Thang Dang, Tat - TBA
• Uzair, Muhammad -
• Wang, Rui -
• Wittkamp, Mark - Real-Time Evolution and Continuous Adaptation of Neural Network Controlled Cooperative Agents in Multi-Agent Computer Games Using Opponent Modeling

Graduated students

• Ahmad, Sabrina - Measuring the Effectiveness of Negotiation in Requirements Engineering
• Al-Osaimi, Faisal - Multimodal Data Fusion and Representations with Applications to Biometrics and Autonomous off-road Robot Navigation
• Bradstreet, Lucas - Transformation of Multi-objective Optimisation Problems to Single Objective Problems via Hypervolume
• Di Pietro, Anthony - Optimising Evolutionary Strategies for Problems with Non-uniform Noise
• Dunn, Adam - A New Model of Wildfire Propagation Using the Interacting Spatial Automata Formalism
• French, Tim - Bisimulation quantifiers for modal logics
• Gu, Lifang - Video analysis in MPEG compressed domain
• Halder, Nilimesh - Evaluation of Public Health Containment Strategies for Control, Prevention and Surveillance of Infectious Diseases using an Individual Based Simulation Model
• Hastings, Robert - A Statistical Investigation of Fingerprint Patterns
• Islam, Syed - Unified Representation of Multimodal Biometrics for Robust Identification and Authentication
• Kings-Lynne (formerly Loh), Angeline - The Recovery of 3-D Structure Using Visual Texture Patterns
• Lorenzetto, Gian - An investigation into trapezoidation and its application to geographic information systems and computer graphics
• McCabe-Dansted, John - Applications of modal logic to Computer Security
• Mian, Ajmal - Representations and Matching Techniques for 3D Free-form Object and Face Recognition
• Sedai, Suman - Human motion capture in images and videos using discriminative and hybrid learning methods
• Sperschneider, Jana - Heuristic RNA pseudoknot detection in long sequences
• Tran, Minh - Patchwork Texture Synthesis with Applications to Large-Scale
• Wong, Wilson - Learning Lightweight Ontologies from Text across Different Domains using the Web as Background Knowledge
• Woodings, Terry - Variation in project parameters as a measure of improvement in software process control
• Zhang, Lu - A method for automatic feedback to improve student code quality in software engineering education