Albert Meyer

Digital Library

ACM Fellows

USA - 2000

citation

For fundamental advances in complexity theory and semantics of programming, and for outstanding service and education of graduate students.