NEWS: On 12th September 2022, Rod joined the Automated Reasoning Group at Amazon Web Services as a full-time Senior Principal Applied Scientist.

As such, Protean Code Limited is not currently trading.

Rod retains his position as Honorary Visiting Professor in the Department of Computer Science at the University of York.