Richard Bornat

Richard Bornat (born 1944) is a British author and researcher in the field of computer science.

Bornat's research interests includes program proving in separation logic.

Much of the work involves discovering ways to state the properties of independent modules, in a manner that makes their composition into useful systems conducive.

In 2004, one of Bornat's students developed an aptitude test to "divide people up into programmers and non-programmers before they ever come into contact with programming."

[1] In 2008 and 2014, Bornat partially retracted some of the claims,[2] impugning its validity as a test for programming capability.

Bornat in 2005