Edmund M. Clarke

Person information

  • award (2007): Turing Award
  • 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

1990 – 1999

1980 – 1989

1970 – 1979

Coauthor Index

a service of  Schloss Dagstuhl - Leibniz Center for Informatics