This blog has moved to Medium

Subscribe via email


«
»

2008 Turing Awards

5/2/08, 11:06
1 Star2 Stars3 Stars4 Stars5 Stars (No Ratings Yet)
Loading ... Loading ...

Just thought to tell everyone that the 2008 Turing Award will be given to two guys that invented Model Checking, that has a very loose connection to my own master thesis. How loose? Both relate to Temporal Logic, that’s it.

Tags: , , ,