Albert R Meyer
ACM Fellows
USA - 2000
citation
For fundamental advances in complexity theory and semantics of programming, and for outstanding service and education of graduate students.
citation
For fundamental advances in complexity theory and semantics of programming, and for outstanding service and education of graduate students.