Skip to search formSkip to main contentSkip to account menu

Richard Bornat

Richard Bornat (born 1944), is a British author and researcher in the field of computer science. He is also professor of Computer programming at… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
As software applications play a vital role in our daily lives, there is a need to have more skilled programmers to create such… 
2016
2016
We develop a certified decision procedure for reasoning about systems of equations over the “tree share” fractional permission… 
2012
2012
Professor Richard Bornat has a track record across a wide range of computer science, from compiling [4] through programming… 
2009
2009
It is difficult to learn to program. We investigated if it is possible to predict programming aptitude of our students with…