Article 1D6YG ACM Awards 2016 Godel Prize to Inventors of Concurrent Separation Logic

ACM Awards 2016 Godel Prize to Inventors of Concurrent Separation Logic

by
Rich Brueckner
from High-Performance Computing News Analysis | insideHPC on (#1D6YG)
OHearnBrookes-150x150.jpg

Today the Association for Computing Machinery's Special Interest Group on Algorithms and Computation Theory (SIGACT) and the European Association for Theoretical Computer Science (EATCS) announced that Stephen Brookes and Peter W. O'Hearn are the recipients of the 2016 GoIdel Prize for their invention of Concurrent Separation Logic.

The post ACM Awards 2016 GoIdel Prize to Inventors of Concurrent Separation Logic appeared first on insideHPC.

External Content
Source RSS or Atom Feed
Feed Location http://insidehpc.com/feed/
Feed Title High-Performance Computing News Analysis | insideHPC
Feed Link https://insidehpc.com/
Reply 0 comments