Views
1 year ago

HLF Review 2016

Participants Leslie

Participants Leslie Lamport ACM A.M. Turing Award, 2013 Barbara Liskov ACM A.M. Turing Award, 2008 Shigefumi Mori Fields Medal, 1990 Ngô Bảo Châu Fields Medal, 2010 Raj Reddy ACM A.M. Turing Award, 1994 Joseph Sifakis ACM A.M. Turing Award, 2007 Richard Edwin Stearns ACM A.M. Turing Award, 1993 Ivan Sutherland ACM A.M. Turing Award, 1988 Endre Szemerédi Abel Prize, 2012 Robert Endre Tarjan Nevanlinna Prize, 1982/ACM A.M. Turing Award, 1986 Vladimir Voevodsky Fields Medal, 2002 Sir Andrew John Wiles Silver Plaque of the IMU, 1998/Abel Prize, 2016 46

47