Research

Research Areas

57 records found

Name Office Phone Email Research Areas
Mike Bain K17 401H 56935 mike
  • Machine Learning
  • Inductive Logic Programming
  • Behavioural Cloning
  • Concept Analysis
  • Bioinformatics
Boualem Benatallah K17 407 54767 boualem
  • Process Spaces
  • End User Centric Integration
Alan Blair K17 412C 57131 blair
  • Machine Learning
  • Neural Networks
  • Robotics
  • Evolutionary Computation
Richard Buckland K17 210 54063 richardb
  • Security Engineering
  • Cryptography
  • Distributed Computing
  • Computational Algebra
  • Formal Methods
  • Teaching and Learning
Xiongcai Cai K17 308 55644 xcai
  • Machine Learning
  • Data Mining
  • Information Retrieval/Filtering
  • Knowledge Acquisition
  • Computer Vision
  • Learning in Vision
  • Image/video search and mining
  • Web Searching
Manuel Chakravarty K17 510C 54495 chak
  • Programming Languages
  • Compilers
  • Functional Programming
  • Type Systems
  • Language-Based Security
  • Concurrency
  • Parallelism
  • Multicore Systems
  • High-Performance Computing
  • Program Transformation
Chun Tung Chou K17 608 57203 ctchou
  • Wireless Mesh Networks
  • Wireless Sensor Networks
  • Multimedia Distribution
  • QoS and Traffic Engineering
  • Optimisation of Computer Networks
Oliver Diessel K17 501B 57384 odiessel
  • Reconfigurable Systems: design flows, tools, run-time environments
  • Reconfigurable Architectures: models, devices
  • Reconfigurable Computing: applications, algorithms, circuits
Hossam El Gindy K17 217F 54034 elgindyh
  • Combinational Algorithms
  • Computational Geometry
  • Parallel and Network Computing
  • Reconfigurable Computing and Architectures
  • FPGA-based Architecture & Algorithms
Kevin Elphinstone L5 NICTA room E626 83060573 kevine
  • Operating Systems
  • Microkernels
  • Multiserver Systems
  • Computer Architecture
Kai Engelhardt K17 217C 54497 kaie
  • Rigorous Methods for Program Construction
  • Epistemic and Temporal Logics in Computer Science
  • Distributed Computing
  • Theory of Computer Security
Bruno Gaeta K17 401C 57213 bgaeta
  • Bioinformatics
  • Computational Immunogenetics
  • Bioinformatics of Gene Regulation
Adnene Guabtni L5 NICTA aguabtni
  • Business Workflow Evolution
  • Concurrency Theory and Practice
  • Data Mining, Graph Visualization
  • Database Query Processing
  • Distributed Database Systems
  • Distributed Computing
  • Object-oriented Design and Technology
  • Process Spaces
  • Services Oriented Computing
  • Web Services and Business Process Modelling
  • Web Services and Data Integration
  • Workflow Management Systems
Hui Annie Guo K17 501F 57136 huig
  • System Level Pipelining
  • ASIP Design
  • Low Power Design
  • Embedded Systems
Mahbub Hassan K17 607 56198 mahbub
  • Mobile Networks
  • Mobile Computing
  • Vehicular Ad-Hoc Networks
  • Vehicular Internet Access
  • Mobile Broadband
  • Mobile Internet
  • Vehicular Wireless Communications
  • Mobile Media Streaming
Gernot Heiser L5 NICTA 83060550 gernot
  • Operating Systems
  • Virtualization
  • Embedded Systems
  • Security
  • Power Management
  • Multicore Systems
Peter Ho K17 212 54052 peterh
  • Software Engineering
  • Multimedia Educational Issues
Achim Hoffmann - on leave K17 406 56934 achim
  • Artificial Intelligence
  • Expert Systems
  • Knowledge Acquisition
  • Knowledge-Based Systems
  • Learning Algorithms
  • Philosophical Foundations of AI
  • Theory of Neural Networks
Xiaowei Huang K17 216 54532 xiaoweih
  • Formal Methods
  • Theory of Programming Languages
  • Logic in Computer Science
Aleksandar Ignjatovic K17 504 56659 ignjat
  • Applications of Mathematical Logic to Computational Complexity
  • Signal Representation and Processing
  • Algorithms for Embedded Systems
Sanjay Jha K17 611 56471 sanjay
  • Wireless Sensor Networks
  • Wireless Mesh Networks
  • Resilience in IP/MPLS Networks
  • Quality of Service in the Internet
Salil Kanhere K17 612 56927 salilk
  • Mobile Networks
  • Participatory Sensing
  • Wireless Mesh Networks
  • Wireless Sensor Networks
  • Vehicular Ad-Hoc Networks
  • Quality of Service in the Internet
  • Network Security
Gabi Keller K17 501I 56032 keller
  • High-Performance Computing
  • Programming Languages
  • Program Transformation
Tim Lambert K17 510B 56496 lambert
  • Computational Geometry
  • Computer Graphics
Xuemin Lin K17 503 56493 lxue
  • Algorithm and Complexity
  • Distributed Database Systems
  • Data Mining, Graph Visualization
  • Spatial Database Systems
  • Computational Geometry
Yi Lu K17 501K 57369 ylu
  • Theory and Practice of Programming Languages
  • Formal Methods for Program Reasoning and Verification
  • Type Systems
  • Language-Based Security
Ashesh Mahidadia K17 310 56556 ashesh
  • Artificial Intelligence
  • Machine Learning
  • Knowledge Acquisition
  • Data Mining
  • Knowledge Discovery
  • Bioinformatics
Nadine Marcus K17 401B 55173 nadinem
  • Human Computer Interaction
  • Adaptive E-learning
  • Modelling of Human Cognition
  • Cognitive Load Theory
  • Human Robot Interaction
Eric Martin K17 409 56936 emartin
  • Logical foundations of AI
  • Formal Learning Theory
  • Logical Paradigms of Inductive Inference
  • Logic Programming
Carroll Morgan K17 201D 55317 carrollm
  • Formal Specification and Refinement
  • Probabilistic Refinement
  • Concurrency
Albert Nymeyer K17 213 54028 anymeyer
  • Software Engineering
  • Formal Methods
  • Compilation
Maurice Pagnucco K17 104A 55518 morri
  • Artificial Intelligence
  • Knowledge Representation
  • Belief Revision
  • Cognitive Robotics
Helen Hye-Young Paik K17 401A 54095 hpaik
  • Web Services and Business Process Modelling
  • Web Services and Data Integration
  • Workflow Management Systems
  • Services Oriented Computing
Nandan Parameswaran K17 217D 56941 paramesh
  • Expert Systems
  • Planning
  • Production Systems
Sri Parameswaran K17 510D 57223 sridevan
  • Hardware Software Co-Design
  • VLSI Systems
  • Low Power Design
John Plaice K17 201E 56012 plaice
  • Software Engineering
  • Programming Languages
  • Software Configuration
  • Version Control
  • Multilingual Typography
  • Multiversion Web Sites
  • Intensional Programming
  • Parallelism
  • Reactive Systems
  • Web Operating Systems
  • Versioned Software Engineering
John Potter K17 217E 54334 potter
  • Software Components: Systems & Application Design
  • Object-Oriented Design: Design by Contract
  • Formal Methods for OO and Components
  • Semantics of OO Design Notations and Programming
  • Languages
  • Type Systems
  • Visualisation for Object Run-times
  • Concurrency Theory and Practice
  • Applications of Process Algebra
  • Probabistic Models, Reasoning Under Uncertainty
Arthur Ramer K17 209 56875 ramer
  • Combinatorial Problems and Algorithms
  • Formal Methods of Reasoning
  • Fuzzy Databases
  • Fuzzy Systems and Evidence Theory
  • Management of Uncertainty and Possibility Theory
  • Theory of Databases Systems
  • Quantum Rationality - Use of Quantum Logic in Decision Pocesses
  • Business Workflow Evolution
Ken Robinson K17 208 54045 kenr
  • Formal Methods
  • Functional Programming
  • Languages
  • Parsing and Translation
  • Programming Languages and Implementation
  • Software Engineering
  • Specification and Refinement
Ji Ruan J17 423 56931 jiruan
  • Logical foundations of AI
  • Logic of Knowledge and Belief
  • Logics of Action
Malcolm Ryan K17 401F 56921 malcolmr
  • Artificial Intelligence
  • Computer Game Design
  • Interactive Narrative
  • Natural Language
  • Planning
  • Robotics
Claude Sammut K17 401J 56932 claude
  • Artificial Intelligence
  • Machine Learning
  • Robotics
  • Conversational Agents
  • Logic Programming
  • Knowledge-Based Image Understanding
John Shepherd K17 410 56494 jas
  • On-line Learning Systems
  • Database Query Processing
  • Information Extraction
  • Web Searching
  • Multimedia Databases
  • Information Retrieval/Filtering
  • Web System Architecture
  • Data Generation for Relational Schemas
Arcot Sowmya K17 412E 56933 sowmya
  • Computer Vision
  • Learning in Vision
  • Medical Image Interpretation
  • Satellite and Aerial Image Interpretation
  • Visual Robotics and Robotic Vision and Control
  • Concurrent Real-Time and Distributed Systems
  • Reuse Techniques in VLSI/SoC
  • Vision and ControlSoftware Engineering
Andrew Taylor K17 401G 55525 andrewt
  • Application of Logic Programming
  • Compiler Technology
  • Computers and Biology
  • Knowledge Acquisition
  • Knowledge Representation
  • Logic Programming
  • Program Analysis
  • Signal Recognition
Michael Thielscher K17 401I 57129 mit
  • Artificial Intelligence
  • Cognitive Robotics
  • Intelligent Agents
  • Knowledge Representation
  • Logic Programming
  • Nonmonotonic Reasoning
Ron van der Meyden K17 217G 56922 meyden
  • Theory of Computer Security
  • Logic in Computer Science
  • Logic of Knowledge and Belief
  • Temporal Logic
  • Theory of Distributed Systems
Srikumar Venugopal K17 412B 56255 srikumarv
  • Cloud Computing
  • Resource Management
  • Virtualization
  • Services Engineering
  • High-Performance Computing
  • Data-Intensive Distributed Computing
Wei Wang K17 507 57162 weiw
  • XML and Semi-Structured Data
  • Data Mining
  • Data Warehouse and OLAP
  • Database Query Processing
  • Information Extraction
  • Information Retrieval/Filtering
  • Plagiarism Detection
  • Spatial Database Systems
  • Web Searching
  • Database Query Processing
  • Data Mining
Geoff Whale K17 217B-01 54046 geoffw
  • Algorithm Animation
  • Natural Language Processing
  • Plagiarism Detection
  • Program Similarity
William H. Wilson K17 405 56876 billw
  • Cognitive Modelling
  • Applications of Category Theory to Cognitive Modelling
Wayne Wobcke J17 433 56475 wobcke
  • Intelligent Agents
  • Agent Architectures
  • Plan Recognition
  • Belief Revision
  • Nonmonotonic Reasoning
  • Conditional Logic
Raymond Wong J17 434 55932 wong
  • Database Query Processing
  • Information Retrieval/Filtering
  • Web Searching
  • XML and Semi-Structured Data
  • Advanced Internet Technologies
  • Mobile Computing
Daniel Woo K17 307 56495 danielw
  • User interface design and evaluation
  • Human Computer Interaction
  • Location Based Technologies
  • Speech Applications
  • Mobile Computing
  • Computer Telephony
Hui Wu K17 501D 56572 huiw
  • Real-Time Embedded Systems
  • Parallel and Distributed Computing
  • Wireless Sensor Networks
Jingling Xue K17 501L 54889 jingling
  • Compiler Optimisations
  • Object-Oriented Languages
  • Compilers for Embedded Systems
  • Parallelising and Optimising Compilers
  • Parallel and Distributed Computing
  • Program Analysis
  • Programming Languages
Xin Zhao K17 501H 54348 xinzhao
  • Wireless Mesh Networks
  • Optimisation of Computer Networks
  • TCP/IP and ATM Internetworking
  • Simulation and Modelling
  • QoS and Traffic Engineering
  • Parallel and Network Computing