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

Исследователь

Джонатан Боуэн ранее работал ведущим исследователем в вычислительной лаборатории Оксфордского университета. Начиная с 1977 года, он работал в области компьютинга как в академических учреждениях, так и в промышленности. Область его профессиональных интересов включает формальные методы, Z-символику, вероятностно-корректные системы, быстрое макетирование с использованием логического программирования, декомпиляцию, аппаратную компиляцию, системы с повышенной безопасностью, совместное проектирование аппаратного и программного обеспечения, интерактивные музеи. Дж. Боуэн закончил Оксфордский университет, где получил степень магистра в области инженерных наук. В 1994 году Боуэн получил премию Чарльза Бэббиджа, в настоящее время председатель рабочей группы ESPRIT ProCoS-WG Working Group, состоящей из 24 европейских партнеров. Он председатель группы пользователей Z-символики, а также член компьютерного сообщества IEEE Computer Society, ACM и EUROMICRO.