Mateusz Hennessy

Matthew Hennessy jest irlandzkim informatykiem , który wniósł szczególny wkład w współbieżność , rachunki procesowe i semantykę języków programowania .

Kariera

W latach 1976-77 Matthew Hennessy był adiunktem na Uniwersytecie Waterloo w Kanadzie . Następnie w latach 1977-78 był profesorem wizytującym na Universidade Federal de Pernambuco w Brazylii . Następnie był pracownikiem naukowym (1979-81), a następnie wykładowcą (1981-85) na Uniwersytecie w Edynburgu w Szkocji . W 1985 roku był gościnnym wykładowcą/badaczem na Uniwersytecie w Aarhus w Danii .

Hennessy był profesorem informatyki na Wydziale Informatyki Uniwersytetu Sussex w Anglii od 1985 do 2008 roku. Od tego czasu Hennessy jest profesorem naukowym na Wydziale Informatyki Trinity College w Dublinie .

Zainteresowania badawcze Hennessy'ego dotyczą semantycznych podstaw języków programowania i specyfikacji , ze szczególnym uwzględnieniem przetwarzania rozproszonego , w tym przetwarzania mobilnego . Interesuje się również weryfikacyjnymi . Jego współautorami są Robin Milner i Gordon Plotkin .

Hennessy jest członkiem Akademii Europy . W latach 2005–2006 był członkiem Royal Society / Leverhulme Trust Senior Research Fellowship oraz profesorem Science Foundation Ireland Research w Trinity College w Dublinie.

Książki

Matthew Hennessy napisał wiele książek:

•   Hennessy, Mateusz. Rozproszony rachunek pi-rachunek . Cambridge University Press , Cambridge, Wielka Brytania, 2007. ISBN 0-521-87330-4 .
•   Hennessy, Mateusz. Algebraiczna teoria procesów . The MIT Press , Cambridge, Massachusetts, 1988. ISBN 0-262-58093-4 .
•   Hennessy, Mateusz. Semantyka języków programowania: podstawowe wprowadzenie z wykorzystaniem strukturalnej semantyki operacyjnej . John Wiley and Sons , Nowy Jork, 1990. ISBN 0-471-92772-4 .

Zobacz też

• Logika Hennessy'ego-Milnera
• Ó hAonghusa

Linki zewnętrzne

• Strona główna Matthew Hennessy Trinity College w Dublinie
• Publikacje Matthew Hennessy'ego indeksowane przez Google Scholar