An short interview with Dana Scott Dana Scott was awarded the ACM Turing award in 1976 for laying the foundations of the modern approach to the semantics of programming languages. What is your opinion on the future of software verification? DS: … 26. Sep 2013 | By Johan Georg Granström | 0 comments