Майкл Хинчи - Michael Hinchey

Майкл Г. Хинчи
Родившийся1969 (возраст 50–51)
Лимерик, Республика Ирландия
НациональностьИрландский
ГражданствоРеспублика Ирландия, США
Альма-матерЛимерикский университет, Вольфсон Колледж, Оксфорд, Колледж Святого Иоанна, Кембридж
ИзвестенФормальные методы, Вице-президент ИФИП
Научная карьера
ПоляИнформатика
УчрежденияУниверситет Небраски, Королевский университет Белфаста, Технологический институт Нью-Джерси, Университет Скёвде, Колледж Лойола в Мэриленде, Университет Квинсленда, Технологический институт Вирджинии, Центр космических полетов имени Годдарда НАСА Лимерикский университет

Майкл Джерард Хинчи (1969 г.р.)[1] является Ирландский компьютерный ученый и директор Ирландский исследовательский центр программной инженерии (Леро ), мультиуниверситетский исследовательский центр со штаб-квартирой в Лимерикский университет, Ирландия.[2][3]

Майк Хинчи учился в Университете Лимерика на бакалавриате (был ведущим студентом на выпускном году[2]), Оксфордский университет (в Вольфсон Колледж ) для его магистра и Кембриджский университет (в Колледж Святого Иоанна ) на степень доктора философии.[4]

Хинчи был пропагандистом формальные методы на протяжении всей своей карьеры, особенно CSP и Обозначение Z. Он был директором НАСА Лаборатория программной инженерии Центр космических полетов имени Годдарда НАСА[5] и является главным редактором журнала НАСА. Инновации в системной и программной инженерии, запущен в 2005 году.

Он занимал множество академических должностей, как посещаемых, так и постоянных, в ряде университетов, включая Университет Небраски, Королевский университет Белфаста, Технологический институт Нью-Джерси,[6] Хиросимский университет[нужна цитата ] то Университет Скёвде в Швеции[2] и был в Колледж Лойола в Мэриленде (сейчас же Университет Лойолы Мэриленд ), Соединенные Штаты, до его нынешней должности.

Хинчи является членом Academia Europaea, член ИЭПП, член IMA, а также старший член IEEE.[нужна цитата ] Он дипломированный инженер, дипломированный профессиональный инженер, дипломированный математик и дипломированный ИТ-специалист.[нужна цитата ]

По состоянию на 2015 год Хинчи занимал пост вице-президента IFIP (Международная федерация обработки информации )[7] и председатель его Технической ассамблеи.

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

  • Хинчи, М. и Боуэн, Дж., редакторы, Применение формальных методов. Prentice Hall Международная серия по информатике, 1995. ISBN  0-13-366949-1.
  • Дин, К. и Хинчи, М.Г., редакторы, Формальные методы преподавания и обучения, Академическая пресса, Лондон, 1996. ISBN  0-12-349040-5.
  • Боуэн, Дж. П. и Хинчи, М. Г., редакторы, Спецификация и дизайн системы высокой степени интеграции. Springer-Verlag, Лондон, серия FACIT, 1999. ISBN  3-540-76226-4.
  • Хинчи, М. и Боуэн, Дж. П., редакторы, Формальные методы промышленной прочности на практике. Springer-Verlag, Лондон, серия FACIT, 1999. ISBN  1-85233-640-4.

Рекомендации

  1. ^ "Хинчи, Майкл Г. (Майкл Джерард) 1969–". WorldCat. Получено 12 декабря 2012.
  2. ^ а б c Леро назначил эксперта НАСА профессора Майка Хинчи соруководителем, Wayback Machine.
  3. ^ Директора, Леро, Ирландия.
  4. ^ Хинчи, Майкл Г., загородный книжный магазин.
  5. ^ "Майк Хинчи". Третий семинар NASA-Goddard / IEEE по формальным подходам к агент-ориентированным системам "FAABS III". 2011. Архивировано 8 апреля 2011 года.. Получено 30 августа 2016.CS1 maint: BOT: статус исходного URL-адреса неизвестен (связь)
  6. ^ «NJIT-CIS: Информация о выпускных проектах» В архиве 2003-10-22 на Wayback Machine, Технологический институт Нью-Джерси, СОЕДИНЕННЫЕ ШТАТЫ АМЕРИКИ.
  7. ^ «Правление ИФИП». ИФИП. Получено 2 апреля 2015.

внешняя ссылка