Майкл Хинчи

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

Майкл Джерард Хинчи (1969 г.р.) — ирландский ученый-компьютерщик и бывший директор Ирландского исследовательского центра программной инженерии ( Lero ), многоуниверситетского исследовательского центра со штаб-квартирой в Университете Лимерика , Ирландия. Сейчас он занимает должность заведующего кафедрой компьютерных наук и информационных систем в Университете Лимерика.

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

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

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

Хинчи является членом Европейской академии , членом IET , членом IMA и старшим членом IEEE . Он является дипломированным инженером, дипломированным профессиональным инженером, дипломированным математиком и дипломированным ИТ-специалистом.

С 2016 года Хинчи занимает пост президента IFIP ( Международной федерации обработки информации ).

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

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

Внешние ссылки

• Веб-страница Майка Хинчи
• Майкл Г. Хинчи на DBLP библиографическом сервере
• Публикации Майкла Хинчи , проиндексированные Google Scholar
• Интервью – The Irish Times