James Hales

About Me

I'm a software engineer for Omnia, the big data analytics and information platform for Commonwealth Bank.

I previously completed my Ph.D. in computer science at the University of Western Australia.

Read More


I research logics for the planning of communication protocols, with a focus on their computational properties.

I've published several decidable logics for quantifying over information change and synthesising communication protocols.

Read More

Contact Me

I'd like to hear about job offers, research positions, collaboration and questions about my research.

Email Me