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?
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?
Leave a Reply