Ричард Борнат - Richard Bornat

Ричард Борнат (1944 г.р.), британский писатель и исследователь в области Информатика. Он также является профессором Компьютерное программирование в Университет Мидлсекса. Ранее он был в Королева Мэри, Лондонский университет.

Исследование

Сфера научных интересов Борната: программа доказательства в логика разделения. Его внимание сосредоточено на доказательства самих себя; в отличие от любых логических оснований. Большая часть работы включает в себя открытие способов определения свойств независимых модулей таким образом, чтобы их составление в полезные системы было благоприятным.

Борнат (совместно с Бернар Суфрин из Вычислительная лаборатория Оксфордского университета ) развитый Jape, а калькулятор доказательств; он участвует в исследовании возможности использования этого инструмента для исследования новых доказательств.

Среди аспирантов Ричарда Борната Самсон Абрамский в начале 1980-х гг.

В 2004 году один из учеников Борната разработал тест на «разделите людей на программистов и непрограммистов, прежде чем они когда-либо вступят в контакт с программированием». Впервые тест был предложен группе студентов в 2005 году во время эксперимента по использованию ментальных моделей в программировании.[1] В 2008 и 2014 годах Борнат частично отозвал часть претензий,[2] ставя под сомнение его действительность в качестве теста на способность к программированию.[3]

Публикации

Борнат опубликовал книгу под названием "Понимание и написание компиляторов: руководство" Сделай сам ", который считается одним из самых обширных ресурсов по компилятор разработка. Хотя книга уже некоторое время не издается, теперь он сделал ее доступной в качестве онлайн-издание.

Другие публикации Борната:

  • Р. Борнат; 1987; Программирование от первых принципов; Международная серия Prentice Hall по компьютерным наукам; ISBN  0-13-729104-3.
  • Ричард Борнат и Гарольд Тимблби; 1989; Жизнь и времена ded, display Editor; в Дж. Б. Лонг и А. Уайтфилд (редакторы); Когнитивная эргономика и взаимодействие человека с компьютером; Издательство Кембриджского университета; С. 225–255.
  • Ричард Борнат и Бернар Суфрин; 1999; Анимация формальных доказательств на поверхности: калькулятор доказательств {Jape}; Компьютерный журнал; Vol. 42; нет. 3; С. 177–192.
  • Aczel, J.C., 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; Логика программы и эквивалентность в присутствии сборки мусора. Чтобы появиться в Теоретическая информатика специальный выпуск о Фонды.

Рекомендации

  1. ^ Дехнади, Саид и Борнат, Ричард (20 февраля 2006 г.). «У верблюда два горба» (PDF). Школа вычислительной техники, Мидлсекский университет, Великобритания. Архивировано из оригинал (PDF) 22 ноября 2009 г. Цитировать журнал требует | журнал = (помощь)CS1 maint: несколько имен: список авторов (связь)
  2. ^ Борнат, Ричард (24 июля 2014 г.). «Верблюды и горки: втягивание» (PDF). Школа науки и технологий, Университет Мидлсекса, Лондон, Великобритания. Цитировать журнал требует | журнал = (помощь)
  3. ^ «У верблюда не бывает двух горбов: программирование« теста способностей »зарезервировано для чрезмерно усердного заключения - часы ретракции». Часы с отводом. 18 июля 2014 г.. Получено 13 ноября 2017.

внешняя ссылка