Computer Systems

Our research addresses efficient, reliable and effective computer software. We work in four major areas. High Performance Computing seeks efficient solutions to massive computational problems. Programming Language Systems addresses the challenge of creating effective, efficient and sound programming languages. Software Engineering considers the challenge of managing the profound complexity inherent in large-scale software development. Human Centred Computing investigates psychological, social and cultural aspects of effective computing systems.
Our research has emerged from a rich history of high-performance computing research at ANU. During the 1990s, the ANU-Fujitsu CAP research program and the innovative ‘Wedge’ virtual reality theater set the foundation for our focus on languages, performance and human-centered computing. We continue that thread today, working closely with the National Computational Infrastructure, which is hosted at ANU and home to the fastest supercomputer in the southern hemisphere.
We pride ourselves on our academic reputation and innovative research, which we often undertake in collaboration with global industry leaders.
Explore our available research projects below and if you’d like to discuss opportunities for collaboration or funding, please email us.

Imagine a large computer system that fails. One of the power supply units shuts down or a memory slip causes data to become corrupted. The...

When we interact and cooperate with other humans, they usually understand and predict what we will do. The same cannot be said of computers, which...

Programming languages provide the building blocks for the world’s computer software. Unfortunately, poorly designed and implemented languages are...

The countless technological innovations that we rely on, for example in transport, telecommunications, finance and energy supply, are complex......
Steve Blackburn
Tudor Barbulescu









