Edmund M. Clarke

Person information

  • award: Turing Award, 2007
  • affiliation: Carnegie Mellon University, Pittsburgh, USA

Refine list

showing all ?? records

2010 – today

2000 – 2009