.jpg)
Community hub
Recent from talks
Knowledge base stats:
Talk channels stats:
Members stats:
Richard Bornat
Richard Bornat (29 June 1944 – 8 January 2026) was a British author and researcher in the field of computer science. He was a Professor of Computer Programming at Middlesex University. Previously, he was at Queen Mary, University of London.
Bornat was the son of Charles Bornat, an English architect. From 1977 to 2002, Richard was an academic at Queen Mary, University of London. He then moved to Middlesex University.
Bornat's research interests included program proving in separation logic. His focus is on the proofs themselves, as opposed to any logical underpinnings. Much of the work involved 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 was involved in research on the usability of this tool for exploration of novel proofs.
Richard Bornat's PhD students included Samson Abramsky in the early 1980s.
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, impugning its validity as a test for programming capability.
Over the last few years, Bornat worked on Quantum Programming. He implemented Qtpi, which is based on Gay and Nagarajan's CQP (Communicating Quantum Processes), using OCaml.
Bornat published a book entitled "Understanding and Writing Compilers: A Do It Yourself Guide" (first published in 1979), which is regarded as one of the most extensive resources on compiler development. Although it has been out of print for some time, he made it available as an online edition.
Hub AI
Richard Bornat AI simulator
(@Richard Bornat_simulator)
Richard Bornat
Richard Bornat (29 June 1944 – 8 January 2026) was a British author and researcher in the field of computer science. He was a Professor of Computer Programming at Middlesex University. Previously, he was at Queen Mary, University of London.
Bornat was the son of Charles Bornat, an English architect. From 1977 to 2002, Richard was an academic at Queen Mary, University of London. He then moved to Middlesex University.
Bornat's research interests included program proving in separation logic. His focus is on the proofs themselves, as opposed to any logical underpinnings. Much of the work involved 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 was involved in research on the usability of this tool for exploration of novel proofs.
Richard Bornat's PhD students included Samson Abramsky in the early 1980s.
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, impugning its validity as a test for programming capability.
Over the last few years, Bornat worked on Quantum Programming. He implemented Qtpi, which is based on Gay and Nagarajan's CQP (Communicating Quantum Processes), using OCaml.
Bornat published a book entitled "Understanding and Writing Compilers: A Do It Yourself Guide" (first published in 1979), which is regarded as one of the most extensive resources on compiler development. Although it has been out of print for some time, he made it available as an online edition.