Richard Bornat
Richard Bornat | |
|---|---|
Bornat at 70th Birthday | |
| Born | 29 June 1944 |
| Died | 8 January 2026 (aged 81) England |
| Occupation | Professor |
| Known for | Jape (software) |
| Title | Professor |
| Academic work | |
| Discipline | Computer scientist |
| Sub-discipline | Formal methods |
| Institutions | Queen Mary, University of London Middlesex University |
| Doctoral students | Samson Abramsky |
| Main interests | Program proving |
| Notable works | Understanding and Writing Compilers: A Do It Yourself Guide (1979) Programming from First Principles (1987) |
| Website | cs.mdx.ac.uk/prof-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.