Albert R. Meyer - Albert R. Meyer

Albert Ronald da Silva Meyer (geb. 1941) ist emeritierter Hitachi America-Professor für Informatik am Massachusetts Institute of Technology (MIT).

Biografie

Meyer promovierte 1972 an der Harvard University in angewandter Mathematik unter der Aufsicht von Patrick C. Fischer . Er trat 1969 in die Fakultät für Elektrotechnik und Informatik (EECS) am MIT ein. Meyer wurde 1991 Professor für Informatik und Ingenieurwesen bei Hitachi America. Er zog sich 2016 vom MIT zurück.

Akademisches Leben

Mathematik für die Informatik (2017) von Eric Lehman, F. Thomson Leighton und Albert R. Meyer

Zu Meyers wegweisenden Arbeiten gehört Meyer & Stockmeyer (1972) , der die Polynomhierarchie einführte . Er hat zahlreiche Doktoranden betreut, die heute berühmte Informatiker sind. Dazu gehören Nancy Lynch , Leonid Levin , Jeanne Ferrante , Charles Rackoff , Larry Stockmeyer , David Harel , Joseph Halpern und John C. Mitchell .

Auszeichnungen

Er ist seit 1987 Fellow der American Academy of Arts and Sciences (AAAS) und wurde 2000 als Fellow der Association for Computing Machinery (ACM) aufgenommen. Er ist Chefredakteur des internationalen Computers Wissenschaftsjournal Information und Berechnung .

Persönliches Leben

Er ist mit der Informatikerin Irene Greif verheiratet .

Veröffentlichungen

• 1991. Forschungsrichtungen in der Informatik: Eine MIT-Perspektive . (Hrsg. Mit John Guttag , Ronald Rivest und Peter Szolovits) MIT Press.
• Meyer, Albert R.; Stockmeyer, Larry J. (1972). "Das Äquivalenzproblem für reguläre Ausdrücke mit Quadrierung erfordert exponentiellen Raum". Proc. 13. jährliches Symposium über Switching und Automatentheorie . S. 125–129. doi : 10.1109 / SWAT.1972.29 . CS1-Wartung: entmutigter Parameter ( Link ) .

Verweise

Externe Links

• Offizielle Website
• Meyer, Albert R. bei MathSciNet
• Albert R. Meyer bei DBLP Bibliography Server
• Albert Meyer Papiere , MC-0377. Massachusetts Institute of Technology, Abteilung für besondere Sammlungen, Cambridge, Massachusetts.