Wow, the guy I took compilers from as an undergraduate has just won the Turing Award for his work in model checking.
How cool is that?
{ 2008 02 04 }
embracing apparent contradictions, diversity and change
{ 2008 02 04 }
Wow, the guy I took compilers from as an undergraduate has just won the Turing Award for his work in model checking.
How cool is that?
Posted by jon on Monday, February 4th, 2008, at 3:49 pm, and filed under Professional.
Follow any responses to this entry with the RSS 2.0 feed.