Edmund M. Clarke

Person information

  • award: Turing Award, 2007
  • affiliation: Carnegie Mellon University, Pittsburgh, USA
  • award (2014): Benjamin Franklin Medal
  • award (2008): Herbrand Award
  • award (2004): Harry H. Goode Memorial Award
  • award (1999): Paris Kanellakis Award

Refine list

showing all ?? records

2010 – 2019

2000 – 2009