Metyu Xennessi - Matthew Hennessy

Metyu Xennessi bu Irland kompyutershunos ayniqsa, kimning hissasi bor bir vaqtda, jarayon toshlari va dasturlash tili semantikasi.

Karyera

1976–77 yillarda Metyu Xennessi dotsent dotsenti bo'lgan Vaterloo universiteti yilda Kanada.[1] 1977–78 yillarda u professor Universidade Federal de Pernambuco yilda Braziliya. Keyinchalik u ilmiy tadqiqotchi (1979–81), so'ngra o'qituvchi (1981–85) bo'lgan Edinburg universiteti yilda Shotlandiya. 1985 yil davomida u mehmon sifatida ma'ruzachi / tadqiqotchi bo'lgan Orxus universiteti yilda Daniya.

Hennessy professor bo'lgan Kompyuter fanlari informatika kafedrasida, Sasseks universiteti, Angliya, 1985 yildan 2008 yilgacha.[2] O'shandan beri Xennessi kafedrada ilmiy-tadqiqot professori bo'lib ishlaydi Kompyuter fanlari, Trinity kolleji, Dublin.

Xennessining ilmiy qiziqishlari semantik asoslar sohasida dasturlash va spetsifikatsiya tillari, xususan, o'z ichiga oladi tarqatilgan hisoblash, shu jumladan mobil hisoblash.[3] Bundan tashqari, uning qiziqishi bor tekshirish vositalar. Uning hammualliflari orasida Robin Milner va Gordon Plotkin.

Hennessy a'zosi Evropa akademiyasi.[1] U ushlab turdi Qirollik jamiyati /Leverhulmega ishonish 2005-2006 yillar davomida katta ilmiy ishchi va aIlmiy fondi Irlandiya Dublin shahridagi Trinity kollejida tadqiqot professori.

Kitoblar

Metyu Xennessi bir qator kitoblarni yozgan:

  • Xennessi, Metyu. Tarqatilgan Pi-Calculus. Kembrij universiteti matbuoti, Kembrij, Buyuk Britaniya, 2007 yil. ISBN  0-521-87330-4.
  • Xennessi, Metyu. Jarayonlarning algebraik nazariyasi. MIT Press, Kembrij, Massachusets, 1988 yil. ISBN  0-262-58093-4.[4]
  • Xennessi, Metyu. Dasturlash tillari semantikasi: Strukturaviy operatsion semantikadan foydalangan holda boshlang'ich kirish. John Wiley va Sons, Nyu-York, 1990 yil. ISBN  0-471-92772-4.

Shuningdek qarang

Adabiyotlar

  1. ^ a b "Metyu Xennessi". Evropa akademiyasi. Olingan 17 noyabr 2014.
  2. ^ "Metyu Xennessi". Archive.org. Buyuk Britaniya: Sasseks universiteti. 3 dekabr 2008. Arxivlangan asl nusxasi 2008 yil 3-dekabrda. Olingan 17 noyabr 2014.
  3. ^ Metyu Xennessi da DBLP Bibliografiya serveri Buni Vikidatada tahrirlash.
  4. ^ Gunter, Karl A. (1990 yil mart). "Ko'rib chiqilgan ish: Jarayonlarning algebraik nazariyasi Metyu Xennessi tomonidan ". Symbolic Logic jurnali. 55 (1): 366–368. doi:10.2307/2275000. JSTOR  2275000.

Tashqi havolalar