John Hopcroft and Jeff Ullman (Stanford) share this year's IEEE John von Neumann Medal "For laying the foundations for the fields of automata and language theory and many seminal contributions to theoretical computer science."
See also http://www.ieee.org/portal/pages/about/awards/sums/vonneusum.html