James Hales

About Me

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

I completed my PhD in Computer Science on logics of knowledge and information change.

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