Ричард Борнат (род. 1944), британский писатель и исследователь в области информатики . Он также является профессором компьютерного программирования в Мидлсекском университете . Ранее он учился в Лондонском университете королевы Марии .
Исследовать
Научные интересы Борната включают программное доказательство в логике разделения . Его внимание сосредоточено на самих доказательствах ; в отличие от любых логических оснований. Большая часть работы включает в себя открытие способов определения свойств независимых модулей таким образом, чтобы их композиция в полезные системы была удобной.
Bornat (совместно с Бернаром Sufrin в вычислительной лаборатории Оксфордского университета ) разработал Jape , в доказательство калькулятор ; он участвует в исследовании возможности использования этого инструмента для исследования новых доказательств.
Среди докторантов Ричарда Борната был Самсон Абрамски в начале 1980-х годов.
В 2004 году один из учеников Борната разработал тест способностей, чтобы «разделить людей на программистов и непрограммистов, прежде чем они когда-либо вступят в контакт с программированием». Впервые тест был предложен группе студентов в 2005 году во время эксперимента по использованию ментальных моделей в программировании. [1] В 2008 и 2014 годах Борнат частично отозвал некоторые претензии, [2] ставя под сомнение их обоснованность в качестве теста на способность к программированию. [3]
Публикации
Борнат опубликовал книгу под названием «Понимание и написание компиляторов: руководство« Сделай сам »» , которая считается одним из самых обширных ресурсов по разработке компиляторов . Несмотря на то, что его уже давно не печатали, теперь он сделал его доступным в виде онлайн-издания .
Другие публикации Борната:
- Р. Борнат; 1987; Программирование из первых принципов ; Международная серия Prentice Hall по компьютерным наукам ; ISBN 0-13-729104-3 .
- Ричард Борнат и Гарольд Тимблби; 1989; Жизнь и времена ded, display Editor; в JB Long & A. Whitefield (ред.); Когнитивная эргономика и взаимодействие человека с компьютером; Издательство Кембриджского университета ; С. 225–255.
- Ричард Борнат и Бернар Суфрин; 1999; Анимация формальных доказательств на поверхности: калькулятор доказательств {Jape}; Компьютерный журнал ; Vol. 42; нет. 3; С. 177–192.
- Aczel, JC, Fung, P., Bornat, R., Oliver, M., O'Shea, T., & Sufrin, B .; 1999; Влияние дизайна программного обеспечения на формальные рассуждения; в Брюстер, С., Коуси, А. и Коктон, Г. (ред.) Труды Международной конференции IFIP TC.13 по взаимодействию человека и компьютера INTERACT '99; Vol. 2; стр. 3–4; Суиндон, Великобритания, Британское компьютерное общество ; ISBN 1-902505-19-0 .
- Р. Борнат; 2000; Доказательство программ указателя в логике Хоара; в Backhouse & Oliveira (ред.) MPC 2000; LNCS 1837; С. 102–126.
- К. Кальканьо, П. О'Хирн, Р. Борнат; 2002; Логика программы и эквивалентность при сборке мусора. Публикация в специальном выпуске « Теоретическая информатика» по основам .
Рекомендации
- ^ Дехнади, Саид и Борнат, Ричард (20 февраля 2006 г.). «У верблюда два горба» (PDF) . Школа вычислительной техники, Мидлсекский университет, Великобритания. Архивировано из оригинального (PDF) 22 ноября 2009 года. Цитировать журнал требует
|journal=
( помощь )CS1 maint: несколько имен: список авторов ( ссылка ) - ^ Борнат, Ричард (24 июля 2014 г.). «Верблюды и горки: втягивание» (PDF) . Школа науки и технологий, Университет Мидлсекса, Лондон, Великобритания. Цитировать журнал требует
|journal=
( помощь ) - ^ «У верблюда не бывает двух горбов: программирование« теста способностей »зарезервировано для чрезмерно усердного заключения - часы ретракции» . Часы возврата . 18 июля 2014 . Проверено 13 ноября 2017 года .