James Hales

About Me

I'm a software consultant with Simple Machines, specialising in Scala and big data technologies.

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

Read More

Research

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