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.
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.
I'd like to hear about job offers, research positions, collaboration and questions about my research.