Джонатан Боуэн | |
---|---|
![]() | |
Дата рождения | 14 марта 1956[1] (62 года) |
Место рождения | |
Страна | |
Род деятельности | специалист в области информатики, инженер, писатель |
Награды и премии | |
![]() |
Джонатан Боуэн (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.
![]() |
Это заготовка статьи о биографии персоналии из Англии. Вы можете помочь проекту, дополнив её. |
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .