HLF Review 2016
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Participants<br />
Leslie Lamport<br />
ACM A.M. Turing Award, 2013<br />
Barbara Liskov<br />
ACM A.M. Turing Award, 2008<br />
Shigefumi Mori<br />
Fields Medal, 1990<br />
Ngô Bảo Châu<br />
Fields Medal, 2010<br />
Raj Reddy<br />
ACM A.M. Turing Award, 1994<br />
Joseph Sifakis<br />
ACM A.M. Turing Award, 2007<br />
Richard Edwin Stearns<br />
ACM A.M. Turing Award, 1993<br />
Ivan Sutherland<br />
ACM A.M. Turing Award, 1988<br />
Endre Szemerédi<br />
Abel Prize, 2012<br />
Robert Endre Tarjan<br />
Nevanlinna Prize, 1982/ACM A.M.<br />
Turing Award, 1986<br />
Vladimir Voevodsky<br />
Fields Medal, 2002<br />
Sir Andrew John Wiles<br />
Silver Plaque of the IMU, 1998/Abel<br />
Prize, <strong>2016</strong><br />
46