Майкл Хинчи

• Биография Майкла Хинчи

  • Ирландский ученый-компьютерщик, бывший директор Lero 
  • В настоящее время возглавляет кафедру компьютерных наук в Университете Лимерика 

• Образование и карьера

  • Получил образование в Университете Лимерика, Оксфорде, Кембридже 
  • Известен пропагандой формальных методов, особенно CSP и Z-нотации 
  • Работал в НАСА и является основателем журнала NASA “Инновации в системах и программной инженерии” 

• Академическая и научная деятельность

  • Занимал академические должности в различных университетах 
  • Член Европейской академии, научный сотрудник IET, IMA, IEEE 
  • Имеет дипломы инженера, профессионального инженера, математика и специалиста в области информационных технологий 

• Президентство IFIP

  • С 2016 года является президентом IFIP 

• Избранные публикации

  • Опубликовал множество статей в области формальных методов и их применения 

• Дополнительные сведения

  • Имеет библиографические ссылки и внешние ссылки на свои работы