Research Areas
| Research Area | Staff |
|---|---|
| Adaptive E-learning | Nadine Marcus Cat Kutay |
| Advanced Internet Technologies | Raymond Wong Cat Kutay |
| Agent Architectures | Wayne Wobcke |
| Agent Trust and Reputation | Norman Foo |
| Algorithm and Complexity | Xuemin Lin |
| Algorithm Animation | Geoff Whale |
| Algorithms for Embedded Systems | Aleksandar Ignjatovic |
| Application of Logic Programming | Andrew Taylor |
| Applications of Category Theory to Cognitive Modelling | William H. Wilson |
| Applications of Mathematical Logic to Computational Complexity | Aleksandar Ignjatovic |
| Applications of Process Algebra | John Potter |
| Artificial Intelligence | Paul Compton Achim Hoffmann Ashesh Mahidadia Malcolm Ryan Claude Sammut Toby Walsh Michael Thielscher Norman Foo Maurice Pagnucco |
| ASIP Design | Hui Annie Guo |
| Behavioural Cloning | Mike Bain |
| Belief Revision | Wayne Wobcke Maurice Pagnucco |
| Belief Revision, Merging, Negotiation | Norman Foo |
| Bioinformatics | Mike Bain Bruno Gaeta Ashesh Mahidadia |
| Bioinformatics of Gene Regulation | Bruno Gaeta |
| Business Workflow Evolution | Arthur Ramer Adnene Guabtni Ingo Weber |
| Cloud Computing | Anna Liu Srikumar Venugopal |
| Cognitive Load Theory | Nadine Marcus |
| Cognitive Modelling | William H. Wilson |
| Cognitive Robotics | Michael Thielscher Maurice Pagnucco |
| Combinational Algorithms | Hossam El Gindy |
| Combinatorial Problems and Algorithms | Arthur Ramer |
| Compilation | Albert Nymeyer |
| Compiler Optimisations | Jingling Xue |
| Compiler Technology | Andrew Taylor |
| Compilers | Manuel Chakravarty |
| Compilers for Embedded Systems | Jingling Xue |
| Computational Algebra | Richard Buckland |
| Computational Geometry | Hossam El Gindy Tim Lambert Xuemin Lin |
| Computational Immunogenetics | Bruno Gaeta |
| Computer Architecture | Kevin Elphinstone |
| Computer Game Design | Malcolm Ryan |
| Computer Graphics | Tim Lambert |
| Computer Telephony | Daniel Woo |
| Computer Vision | Arcot Sowmya Xiongcai Cai |
| Computers and Biology | Andrew Taylor |
| Concept Analysis | Mike Bain |
| Concurrency | Carroll Morgan Rob van Glabbeek Manuel Chakravarty |
| Concurrency Theory and Practice | John Potter Adnene Guabtni |
| Concurrent Real-Time and Distributed Systems | Arcot Sowmya Fethi Rabhi |
| Conditional Logic | Wayne Wobcke |
| Conversational Agents | Claude Sammut |
| Cost Modelling, Software Inspections, Software Process Improvement | Ross Jeffery Mark Staples |
| Cryptography | Richard Buckland |
| Data Generation for Relational Schemas | John Shepherd |
| Data Mining | Ashesh Mahidadia Wei Wang Nitin Indurkhya Xiongcai Cai Wei Wang |
| Data Mining, Graph Visualization | Xuemin Lin Adnene Guabtni |
| Data Warehouse and OLAP | Wei Wang |
| Data-Intensive Distributed Computing | Srikumar Venugopal Fethi Rabhi |
| Database Query Processing | John Shepherd Wei Wang Wei Wang Adnene Guabtni Raymond Wong |
| Distributed Computing | Richard Buckland Kai Engelhardt Adnene Guabtni |
| Distributed Database Systems | Xuemin Lin Adnene Guabtni |
| Distributed Software Engineering | Anna Liu |
| Electronic Commerce | Fethi Rabhi |
| Electronic Markets | Fethi Rabhi |
| Electronic Typesetting | Blanca Mancilla |
| Embedded Systems | Hui Annie Guo Gernot Heiser |
| Emergence | Norman Foo |
| End User Centric Integration | Boualem Benatallah |
| Epistemic and Temporal Logics in Computer Science | Kai Engelhardt |
| Evolutionary Computation | Alan Blair |
| Expert Systems | Achim Hoffmann Nandan Parameswaran |
| Finance Applications | Fethi Rabhi |
| Formal Learning Theory | Eric Martin |
| Formal Methods | Richard Buckland Albert Nymeyer Ken Robinson Mark Staples Gerwin Klein Xiaowei Huang |
| Formal Methods for OO and Components | John Potter |
| Formal Methods for Program Reasoning and Verification | Yi Lu Mark Staples Gerwin Klein |
| Formal Methods of Reasoning | Arthur Ramer |
| Formal Specification and Refinement | Carroll Morgan Mark Staples Gerwin Klein |
| FPGA-based Architecture & Algorithms | Hossam El Gindy |
| Functional Programming | Ken Robinson Manuel Chakravarty Gerwin Klein Fethi Rabhi |
| Fuzzy Databases | Arthur Ramer |
| Fuzzy Systems and Evidence Theory | Arthur Ramer |
| Hardware Software Co-Design | Sri Parameswaran |
| High-Performance Computing | Gabi Keller Manuel Chakravarty Srikumar Venugopal |
| Human Computer Interaction | Nadine Marcus Daniel Woo |
| Human Robot Interaction | Nadine Marcus |
| Image/video processing, analysis and understanding | Jian Zhang |
| Image/video search and mining | Jian Zhang Xiongcai Cai |
| Indigenous Knowledge Management Online | Cat Kutay |
| Inductive Logic Programming | Mike Bain |
| Information Extraction | John Shepherd Nitin Indurkhya Wei Wang |
| Information Retrieval/Filtering | John Shepherd Wei Wang Xiongcai Cai Raymond Wong |
| Intelligent Agents | Wayne Wobcke Michael Thielscher |
| Intensional Programming | John Plaice Blanca Mancilla |
| Interactive Narrative | Malcolm Ryan |
| Knowledge Acquisition | Paul Compton Achim Hoffmann Ashesh Mahidadia Andrew Taylor Xiongcai Cai |
| Knowledge Based Systems | Paul Compton |
| Knowledge Discovery | Ashesh Mahidadia Nitin Indurkhya |
| Knowledge Representation | Norman Foo Andrew Taylor Michael Thielscher Maurice Pagnucco |
| Knowledge-Based Image Understanding | Claude Sammut |
| Knowledge-Based Systems | Achim Hoffmann |
| Language-Based Security | Yi Lu Manuel Chakravarty |
| Languages | John Potter Ken Robinson |
| Learning Algorithms | Achim Hoffmann |
| Learning in Vision | Arcot Sowmya Xiongcai Cai |
| Location Based Technologies | Daniel Woo |
| Logic in Computer Science | Ron van der Meyden Gerwin Klein Xiaowei Huang |
| Logic of Knowledge and Belief | Ron van der Meyden Ji Ruan |
| Logic Programming | Norman Foo Eric Martin Claude Sammut Andrew Taylor Michael Thielscher |
| Logical foundations of AI | Eric Martin Ji Ruan |
| Logical Paradigms of Inductive Inference | Eric Martin |
| Logics of Action | Ji Ruan |
| Low Power Design | Hui Annie Guo Sri Parameswaran |
| Machine Learning | Mike Bain Alan Blair Xiongcai Cai Ashesh Mahidadia Claude Sammut Nitin Indurkhya |
| Management of Uncertainty and Possibility Theory | Arthur Ramer |
| Medical Image Interpretation | Arcot Sowmya |
| Memory Management | Peter Chubb |
| Microkernels | Kevin Elphinstone |
| Mobile Broadband | Mahbub Hassan |
| Mobile Computing | Daniel Woo Mahbub Hassan Raymond Wong |
| Mobile Internet | Mahbub Hassan |
| Mobile Media Streaming | Mahbub Hassan |
| Mobile Networks | Salil Kanhere Mahbub Hassan |
| Model Based Reasoning | Paul Compton |
| Modelling of Human Cognition | Nadine Marcus |
| Multicore Systems | Gernot Heiser Manuel Chakravarty |
| Multilingual Typography | John Plaice |
| Multimedia Databases | John Shepherd |
| Multimedia Distribution | Chun Tung Chou |
| Multimedia Educational Issues | Peter Ho |
| Multiserver Systems | Kevin Elphinstone |
| Multiversion Web Sites | John Plaice |
| Natural Language | Malcolm Ryan |
| Natural Language Processing | Geoff Whale Nitin Indurkhya |
| Network Security | Salil Kanhere |
| Neural Networks | Alan Blair |
| Nonmonotonic Reasoning | Norman Foo Wayne Wobcke Michael Thielscher |
| Object-oriented Design and Technology | Adnene Guabtni |
| Object-Oriented Design: Design by Contract | John Potter |
| Object-Oriented Languages | Jingling Xue |
| On-line Learning Systems | John Shepherd |
| Ontologies | Norman Foo |
| Operating Systems | Peter Chubb Kevin Elphinstone Gernot Heiser Gerwin Klein |
| Optimisation of Computer Networks | Chun Tung Chou Xin Zhao |
| Parallel and Distributed Computing | Hui Wu Jingling Xue Fethi Rabhi |
| Parallel and Network Computing | Hossam El Gindy Xin Zhao |
| Parallelising and Optimising Compilers | Jingling Xue |
| Parallelism | John Plaice Manuel Chakravarty |
| Parsing and Translation | Ken Robinson |
| Participatory Sensing | Salil Kanhere |
| Philosophical Foundations of AI | Achim Hoffmann |
| Plagiarism Detection | Geoff Whale Wei Wang |
| Plan Recognition | Wayne Wobcke |
| Planning | Nandan Parameswaran Malcolm Ryan Ingo Weber |
| Power Management | Gernot Heiser |
| Probabilistic Refinement | Carroll Morgan |
| Probabistic Models, Reasoning Under Uncertainty | John Potter |
| Process Spaces | Boualem Benatallah Adnene Guabtni |
| Production Systems | Nandan Parameswaran |
| Program Analysis | Andrew Taylor Jingling Xue |
| Program Similarity | Geoff Whale |
| Program Transformation | Gabi Keller Manuel Chakravarty |
| Programming Languages | Gabi Keller John Plaice Manuel Chakravarty Jingling Xue |
| Programming Languages and Implementation | Ken Robinson Blanca Mancilla |
| QoS and Traffic Engineering | Chun Tung Chou Xin Zhao |
| Quality of Service in the Internet | Sanjay Jha Salil Kanhere |
| Quantum Rationality - Use of Quantum Logic in Decision Pocesses | Arthur Ramer |
| Reactive Systems | John Plaice |
| Real-Time Embedded Systems | Hui Wu |
| Reconfigurable Architectures: models, devices | Oliver Diessel |
| Reconfigurable Computing and Architectures | Hossam El Gindy |
| Reconfigurable Computing: applications, algorithms, circuits | Oliver Diessel |
| Reconfigurable Systems: design flows, tools, run-time environments | Oliver Diessel |
| Resilience in IP/MPLS Networks | Sanjay Jha |
| Resource Management | Peter Chubb Srikumar Venugopal |
| Reuse Techniques in VLSI/SoC | Arcot Sowmya |
| Rigorous Methods for Program Construction | Kai Engelhardt Mark Staples |
| Robotics | Alan Blair Malcolm Ryan Claude Sammut |
| Robotics Research and Development with the Centre for Autonomous Systems | Bernhard Hengst |
| Satellite and Aerial Image Interpretation | Arcot Sowmya |
| Scheduling | Peter Chubb |
| Security | Gernot Heiser |
| Security Engineering | Richard Buckland John Zic |
| Semantics and Type Systems of Programming Languages | Gerwin Klein |
| Semantics of OO Design Notations and Programming | John Potter |
| Services Engineering | Anna Liu Srikumar Venugopal Ingo Weber Fethi Rabhi |
| Services Oriented Computing | Helen Hye-Young Paik Adnene Guabtni Ingo Weber Fethi Rabhi |
| Signal Recognition | Andrew Taylor |
| Signal Representation and Processing | Aleksandar Ignjatovic |
| Simulation and Modelling | Norman Foo Xin Zhao |
| Software Architectures | Anna Liu Fethi Rabhi |
| Software Components: Systems & Application Design | John Potter Mark Staples |
| Software Configuration | John Plaice Mark Staples |
| Software Engineering | Peter Ho Albert Nymeyer John Plaice Ken Robinson Mark Staples Fethi Rabhi |
| Software Experience Factory | Ross Jeffery |
| Software Metrics, Software Design | Ross Jeffery |
| Software Process Modelling | Ross Jeffery Mark Staples |
| Software Quality, Software Development, Cost Estimation | Ross Jeffery |
| Spatial Database Systems | Xuemin Lin Wei Wang |
| Specification and Refinement | Ken Robinson Mark Staples |
| Speech Applications | Daniel Woo |
| System Level Pipelining | Hui Annie Guo |
| Systems Theory | Norman Foo |
| TCP/IP and ATM Internetworking | Xin Zhao |
| Teaching and Learning | Richard Buckland |
| Temporal Logic | Ron van der Meyden |
| Theory and Practice of Programming Languages | Yi Lu |
| Theory of Computer Security | Ron van der Meyden Kai Engelhardt |
| Theory of Databases Systems | Arthur Ramer |
| Theory of Distributed Systems | Ron van der Meyden |
| Theory of Neural Networks | Achim Hoffmann |
| Theory of Programming Languages | Xiaowei Huang |
| Trustworthy Systems | John Zic |
| Type Systems | John Potter Yi Lu Manuel Chakravarty |
| Unix and other Operating System Scalability | Peter Chubb |
| User interface design and evaluation | Daniel Woo |
| Vehicular Ad-Hoc Networks | Salil Kanhere Mahbub Hassan |
| Vehicular Internet Access | Mahbub Hassan |
| Vehicular Wireless Communications | Mahbub Hassan |
| Version Control | John Plaice Mark Staples |
| Versioned Software Engineering | John Plaice Mark Staples |
| Video coding and transmission | Jian Zhang |
| Video surveillance | Jian Zhang |
| Virtualization | Gernot Heiser Srikumar Venugopal |
| Vision and ControlSoftware Engineering | Arcot Sowmya |
| Visual Robotics and Robotic Vision and Control | Arcot Sowmya |
| Visualisation for Object Run-times | John Potter |
| VLSI Systems | Sri Parameswaran |
| Web Operating Systems | John Plaice |
| Web Searching | John Shepherd Wei Wang Raymond Wong Xiongcai Cai |
| Web Services and Business Process Modelling | Mark Staples Helen Hye-Young Paik Adnene Guabtni Ingo Weber |
| Web Services and Data Integration | Mark Staples Helen Hye-Young Paik Adnene Guabtni |
| Web System Architecture | John Shepherd Mark Staples |
| Wireless Mesh Networks | Chun Tung Chou Sanjay Jha Salil Kanhere Xin Zhao |
| Wireless Sensor Networks | Chun Tung Chou Sanjay Jha Salil Kanhere Hui Wu Athanassios Boulis |
| Workflow Management Systems | Mark Staples Helen Hye-Young Paik Adnene Guabtni |
| XML and Semi-Structured Data | Wei Wang Raymond Wong Cat Kutay |