We conduct research within three main areas: Algorithms, Databases and Logic. Algorithms research covers wireless sensor networks and graph theory. Databases research includes data modelling and database design, query processing and optimisation, and data integration. Logic research incorporates intelligent agents, hardware and software verification, knowledge representation and reasoning, and mathematical foundations. Our work is grounded in real-world applications, ranging from managing large networks of sensors for tracking water flows through irrigation systems in order to minimise waste, to finding ways to automatically generate verified computer code for counting ballots in Australian elections.

Logic and algorithms research at ANU began in the early 1970s. Professor Robert (Bob) K Meyer joined Professor Richard Sylvan at the Research School of Social Sciences (RSSS) to investigate the Kripke semantics of relevant logics. Soon afterwards, Professor Richard Brent, an algorithms expert, joined ANU from Stanford University to found the then Faculty of Information Technology. Since then, logic and algorithms research endeavours at ANU have converged within the field of computer science, mirroring a worldwide shift from philosophical logics to industrial logics. We began database research in 2012 when Dr Qing Wang joined ANU.

Explore our available research projects below and if you’d like to discuss opportunities for collaboration or funding, please email us.


Computers are becoming increasingly important in our modern lives, by performing tasks ranging from those previously undertaken by humans to...


The rise of ‘big data’ is changing the way we live and think, from how people communicate with each other, to how businesses make decisions, to...


Computers play a vital role in controlling modern cars, aeroplanes and trains. For instance, many airports now have driverless trains to take......

Brendan McKay

Brendan McKay is Professor in the Research School of Computer Science at The Australian National University
"I was always interested in science, and in school I wandered around physics and chemistry. But I kept coming back to my first love, mathematics."...
Alasdair Tran and Lee Wei Yen
5 Nov 2015
Two ANU computing students have recently taken out the Australian Data Mining 2015 student competition.  With a first place prize of $2500.00 the competition was...
Nobel Laureate Brian Schmidt to lead ANU
24 Jun 2015
Professor Brian Schmidt AC has been appointed the next Vice-Chancellor of The Australian National University (ANU). He will take up the position on 1 January 2016...
ANU leads Australia in global subject rankings
29 Apr 2015
ANU has secured its position as Australia's top university in the latest QS global subject rankings. ANU has been rated in the top 10 in the world in four subjects...
The cocktail party problem

The cocktail party problem

Dr Wen Zhang is working towards solving ‘the cocktail party problem’. Her research titled Advancing binaural localisation techniques aims to produce...

Updated:  8 September 2015/Responsible Officer:  Head of School/Page Contact:  CECS Marketing