Communications of the ACM
ACM News
Moshe Y. Vardi, 2011 Harry H. Goode Memorial Award Recipient
IEEE
"For fundamental and lasting contributions to the development of logic as a unifying foundational framework and a tool for modeling computational systems."
From The IEEE
View Full Article
No entries found