Matthew Hennessy - Matthew Hennessy - Wikipedia

Matthew Hennessy je irština počítačový vědec který přispěl zejména k konkurence, zpracovat kalkul a sémantika programovacího jazyka.

Kariéra

V letech 1976–77 byl Matthew Hennessy odborným asistentem na University of Waterloo v Kanada.[1] V letech 1977–78 byl hostujícím profesorem na Universidade Federal de Pernambuco v Brazílie. Následně působil jako vědecký pracovník (1979–81) a poté přednášel (1981–85) na University of Edinburgh v Skotsko. V průběhu roku 1985 působil jako hostující lektor / výzkumný pracovník v University of Aarhus v Dánsko.

Hennessy byl profesorem Počítačová věda na katedře informatiky, University of Sussex, Anglie, od roku 1985 do roku 2008.[2] Od té doby Hennessy zastává profesuru výzkumu na katedře Počítačová věda, Trinity College, Dublin.

Zájmy Hennessyho výzkumu jsou v oblasti sémantických základů programování a specifikační jazyky, zejména zahrnující distribuované výpočty, počítaje v to mobilní výpočetní technika.[3] Má také zájem o ověření nástroje. Mezi jeho spoluautory patří Robin Milner a Gordon Plotkin.

Hennessy je členem Akademie Evropy.[1] Držel a královská společnost /Leverhulme Trust Senior Research Fellowship during 2005-06 and has aVědecká nadace Irsko Research Professorship at Trinity College Dublin.

Knihy

Matthew Hennessy napsal řadu knih:

  • Hennessy, Matthew. Distribuovaný Pi-kalkul. Cambridge University Press, Cambridge, Velká Británie, 2007. ISBN  0-521-87330-4.
  • Hennessy, Matthew. Algebraická teorie procesů. MIT Press, Cambridge, Massachusetts, 1988. ISBN  0-262-58093-4.[4]
  • Hennessy, Matthew. Sémantika programovacích jazyků: Základní úvod využívající strukturní operační sémantiku. John Wiley and Sons, New York, 1990. ISBN  0-471-92772-4.

Viz také

Reference

  1. ^ A b „Matthew Hennessy“. Akademie Evropy. Citováno 17. listopadu 2014.
  2. ^ „Matthew Hennessy“. Archive.org. SPOJENÉ KRÁLOVSTVÍ: University of Sussex. 3. prosince 2008. Archivovány od originál dne 3. prosince 2008. Citováno 17. listopadu 2014.
  3. ^ Matthew Hennessy na DBLP Bibliografický server Upravte to na Wikidata.
  4. ^ Gunter, Carl A. (březen 1990). „Recenzovaná práce: Algebraická teorie procesů Matthew Hennessy “. Journal of Symbolic Logic. 55 (1): 366–368. doi:10.2307/2275000. JSTOR  2275000.

externí odkazy