Albert R. Meyer - Albert R. Meyer

Albert Ronald da Silva Meyer
narozený (1941-11-05) 5. listopadu 1941 (věk 79)
Alma materHarvardská Univerzita
Manžel (y)Irene Greif
OceněníČlen ACM (2000)
Vědecká kariéra
PolePočítačová věda
InstituceMIT
Doktorský poradcePatrick C. Fischer
DoktorandiNancy Lynch, Leonid Levin, Jeanne Ferrante, Charles Rackoff, Larry Stockmeyer, David Harel, Joseph Halpern, John C. Mitchell
webová stránkalidé.cail.mit.edu/ meyer/

Albert Ronald da Silva Meyer (narozen 1941) je emeritní profesor Hitachi America počítačová věda na Massachusetts Institute of Technology (MIT).

Životopis

Meyer získal titul PhD Harvardská Univerzita v roce 1972 v aplikované matematice pod dohledem Patrick C. Fischer.[1] Do fakulty MIT na katedře elektrotechniky a informatiky (EECS) nastoupil v roce 1969. Meyer se v roce 1991 stal profesorem informatiky a techniky Hitachi America. V roce 2016 odešel z MIT do důchodu.[2]

Akademický život

Matematika pro informatiku (2017), autori Eric Lehman, F. Thomson Leighton a Albert R. Meyer

Meyerovy klíčové práce zahrnují Meyer & Stockmeyer (1972), který zavedl polynomiální hierarchie. Vedl řadu doktorandů, kteří jsou nyní slavnými počítačovými vědci; tyto zahrnují Nancy Lynch, Leonid Levin, Jeanne Ferrante, Charles Rackoff, Larry Stockmeyer, David Harel, Joseph Halpern, a John C. Mitchell.

Ocenění

Byl členem Americká akademie umění a věd (AAAS) od roku 1987,[3] a byl uveden jako Fellow of the Sdružení pro výpočetní techniku (ACM) v roce 2000.[4] Je šéfredaktorem mezinárodního časopisu o informatice Informace a výpočet.[5]

Osobní život

Je ženatý s počítačovým vědcem Irene Greif.[6]

Publikace

  • 1991. Pokyny k výzkumu v informatice: perspektiva MIT. (Ed. S John Guttag, Ronald Rivest a Peter Szolovits) MIT Press.
  • Meyer, Albert R .; Stockmeyer, Larry J. (1972). Msgstr "Problém ekvivalence pro regulární výrazy se čtvercem vyžaduje exponenciální prostor". Proc. 13. výroční sympozium o teorii přepínání a automatů. 125–129. doi:10.1109 / SWAT.1972.29.CS1 maint: ref = harv (odkaz).

Reference

  1. ^ Albert Ronald da Silva Meyer na Matematický genealogický projekt.
  2. ^ "Sbírka: Albert Meyer papers | MIT ArchivesSpace". archivesspace.mit.edu. Citováno 2020-07-22.
  3. ^ "M" (PDF). Členové Americké akademie umění a věd: 1780–2005.
  4. ^ „Členové ACM“. Archivovány od originál dne 01.01.2009.„ACM: Fellows Award / Albert R Meyer“. Archivovány od originál dne 14.12.2007. Citováno 2009-06-07. „Za zásadní pokroky v teorii složitosti a sémantice programování a za vynikající služby a vzdělání postgraduálních studentů.“
  5. ^ Informace a výpočet
  6. ^ McCluskey, Eileen (20. října 2008). "Irene Greif '69, SM '72, PhD '75 Spojení počítačů a lidí". Recenze technologie MIT. Citováno 19. dubna 2014.

externí odkazy