Research in the School of Computer Science

The School of Computer Science has a strong research ethos and is internationally prominent in the areas of computer vision, distributed and high performance computing, evolutionary systems, formal methods, and software architectures.

There are currently 4 full professors (not including Prof. Mike Brooks who is on leave serving as the Deputy Vice-Chancellor Research). It enjoys strong links with industry and has attracted considerable competitive research funding. For example, in 2009 the school won two prestigious ARC Discovery Grants and two prestigious (industry-linked) ARC linkage grants. This means that in 2010 the school members hold more than ten prestigious Discovery grants - a remarkable achievement for a school of this size.

Research Areas:

Australian Centre for Visual Technologies
Advanced Computing and Communication Research on Systems and Services (ACROSS)
Computer Vision
Distributed High-Performance Computing
Networking & Wireless Networks
Software Engineering and Formal Method
Cloud Computing
Institutions with Affiliated Researchers

	Australian Centre for Visual Technologies VideoTrace: Rapid interactive scene modelling from video Professor Anton van den Hengel, Dr Anthony Dick, Dr Thorsten Thormaehlen, Professor Philip Torr Visual Surveillance Interactive Simulation and Visualisation Three-dimensional data processing Visit the Australian Centre for Visual Technologies website for more information
	Advanced Computing and Communication Research on Systems and Services (ACROSS) Developing Highly Dependable Web Services Dr Michael Sheng A Visualised Browser for Semantically Enhanced Web service Discovery Dr Michael Sheng Managing Uncertainty in RFID Traceability Networks Dr Michael Sheng An evaluation of power-aware simulators for Networks on Chip (NoC) Dr Cruz Izu Providing fault tolerance in Networks on Chip (NoC) Dr Cruz Izu Extension of SAT protocol to indirect networks Dr Cruz Izu Determining Location in Scattered Sensor Networks without GPS Dr Cheryl Pope, Mr Kevin Maciunas Protocols for establishing and maintaining communication in semi-random topology adhoc networks for monitoring bushfires Dr Cheryl Pope, Dr Cruz Izu Automated extraction of multi-source data for emergency services Dr Cheryl Pope, Dr Michael Sheng, Mr Kevin Maciunas Visit the ACROSS website for more information
	Computer Vision Improved clustering for image search and retrieval Professor Anton van den Hengel, Dr Anthony Dick Keeping track of footy players Professor Anton van den Hengel, Dr Anthony Dick Computer vision in cloud environments Professor Anton van den Hengel, Dr Anthony Dick 3D polygons from 2D images Professor Anton van den Hengel, Dr Anthony Dick The PatchMatch algorithm for computer vision Professor Anton van den Hengel, Dr Anthony Dick Visit the Computer Vision website for more information
	Distributed High-Performance Computing Designing and Evolving Top Level Control Strategies for Teams of Semi-Autonomous Surveillance Vechicles Mr Bradley Alexander Mapping Program Graphs to Reconfigurable Hardware via BlueSpec Mr Bradley Alexander Strategies for Boosting Rewrite Rules in Optimising Compilers Mr Bradley Alexander Evolving an Optimiser via Genetic Programming Mr Bradley Alexander Evolving functions in Point-Free form using Grammatical Evolution Mr Bradley Alexander Extending Grammatical Evolution to Type Correct Programs Mr Bradley Alexander From Pictures to Programs with Genetic Programming Mr Bradley Alexander Source to Source Transformation for Platform Emulation Mr Bradley Alexander Visit the Distributed High-Performacnce Computing website for more information
	Networking & Wireless Networks Border Gateway Protocol Emulation and the Shadow Model Dr Nick Falkner Implementing Energy Efficient Adaptive Error Detection in Wireless Networks Dr Nick Falkner High Level Simulation of Energy Efficient Classification Mechanisms in Wireless Sensor Networks Dr Nick Falkner Visit the Evolution Computation website for more information
	Software Engineering and Formal Methods Visualising changes in collaborative documents Dr David Hemer Test-case generation for Role Playing Games Dr David Hemer Software Architecture Correction using Mutation Operators Dr David Hemer Visit the Software Engineering and Formal Methods website for more information
	Cloud Computing Visualisation of multiple layers of geosciences maps using Google Earth Adjunct Professor Craig Mudge Parallel computation in cloud computing for geothermal energy exploration Adjunct Professor Craig Mudge Visit the Software Architechure and Distributed Algorithms website for more information