Education
Richard Bornat"s Doctor of Philosophy students have included Samson Abramsky in the early 1980s.
- Photos
- Works
- Photos
- Works
Richard Bornat
Edit ProfileCareer
He is also professor of Computer programming at Middlesex University. Previously he was at Queen Mary, University of London. Bornat"s research interests includes program proving in separation logic.
His focus is on the proofs themselves.
As opposed to any logical underpinnings. 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.
Bornat (in conjunction with Bernard Sufrin of the Oxford University Computing Laboratory) developed Jape, a proof calculator. He is involved in research on the usability of this tool for exploration of novel proofs.
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." The test was first given to a group of students in 2005 during an experiment on the use of mental models in programming.
In 2008 and 2014, Bornat partially retracted some of the claims.
