University of Calgary
UofC Navigation

rzach's blog

Visiting Research Chair in Logic or Philosophy of Science at the University of Calgary

Submitted by rzach on Wed, 03/19/2014 - 6:27pm

US$25,000 for 4 months (September 2015 or January 2016)

Contact: Brad Hector, Fulbright Canada Program Officer (Scholars)

Leslie Lamport wins Turing Award

Submitted by rzach 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 tolera

Site Feed

Subscribe to Syndicate