Боуэн, Джонатан

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Джонатан Боуэн
Портрет
Род деятельности:

специалист в области информатики, инженер, писатель

Дата рождения:

14 марта 1956(1956-03-14)[1] (61 год)

Место рождения:

Оксфорд, Оксфорд[d], Юго-Восточная Англия, Англия, Великобритания

Страна:

Flag of the United Kingdom.svg Великобритания

Награды и премии:
Commons-logo.svg Джонатан Боуэн на Викискладе

Джонатан Боуэн (Jonathan Bowen)[2] ранее работал ведущим исследователем в вычислительной лаборатории Оксфордского университета (Oxford University Computing Laboratory). Начиная с 1977 года, он работал в области компьютинга как в академических учреждениях, так и в промышленности. Область его профессиональных интересов включает формальные методы, Z-символику, вероятностно-корректные системы, быстрое макетирование с использованием логического программирования, декомпиляцию, аппаратную компиляцию, системы с повышенной безопасностью, совместное проектирование аппаратного и программного обеспечения, интерактивные музеи. Дж. Боуэн закончил Оксфордский университет, где получил степень магистра в области инженерных наук (Engineering Science). В 1994 году Боуэн получил премию Чарльза Бэббиджа (IEE Charles Babbage Premium Award), в настоящее время председатель рабочей группы ESPRIT ProCoS-WG Working Group, состоящей из 24 европейских партнеров. Он председатель группы пользователей Z-символики (Z User Group),[3] а также член компьютерного сообщества IEEE Computer Society, ACM и EUROMICRO.

Избранные книги[править | править вики-текст]

Литература[править | править вики-текст]

Ссылки[править | править вики-текст]