Tweet from pennmkse

RT @vardi: Rajeev Alur and David Dill receive 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation.
https://t.co…