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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Jonathan Bowen.

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

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

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

  1. Bowen, Jonathan Peter. Who’s Who in the World, Marquis Who's Who, 18th edition, 2001.
  2. Z User Group. Проверено 10 декабря 2013.

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