University of Calgary
UofC Navigation

Add new comment

Error message

  • Warning: include_once( failed to open stream: No such file or directory in include_once() (line 7 of /wcm/apps/drupal7/modules/all/uofc/panels_layouts_uofc-7.x-1.6/panels_layouts_uofc.module).
  • Warning: include_once(): Failed opening '' for inclusion (include_path='.:/usr/share/pear:/usr/share/php') in include_once() (line 7 of /wcm/apps/drupal7/modules/all/uofc/panels_layouts_uofc-7.x-1.6/panels_layouts_uofc.module).

Leslie Lamport wins Turing Award

Submitted by Richard-Zach on Tue, 03/18/2014 - 9:16am

The Association for Computing Machinery has awarded the 2013 Turing Award (the Computer Science equivalent of the Nobel Prize Fields Medal Schock Prize) to Leslie Lamport at Microsoft Research for his work on formal specification and verification techniques, specifically the Temporal Logic of Actions and his work on fault tolerance in distributed systems. Not as close to logic as some other Turing Laureates (is that what they're called?) but still a nice nod to the continued importance of formal methods derived in part from logic in CS. (Oh yeah, he also invented LaTeX.)