Technical University of Denmark / Machine Intelligence / V M / Danish Research Foundation for Basic Research / Computer Science Department / Cornell University / /
Person
David Monniaux / Thomas A. Henzinger / William Pugh / Michael R. Hansen / David A. Plaisted / Ryan Stansifer / David G. Mitchell / Thomas Dillig / Isil Dillig / Martin Leucker / Helmut Veith / Yunshan Zhu / Martin Fr¨anzle / Andrei Voronkov / Michael O. Rabin / Michael Col´on / Matthieu Martel / Nikolaj Bjørner / Byron Cook / Derek C. Oppen / Arjun Kapur / Alex Aiken / M . Instead / Michael J. Fischer / Edward Y. Chang / Aske Wiid Brekling / Armin Biere / Paul Jackson / Anh-Dung Phan / Frank Wolter / /