Former Visiting Faculty
Pierre Sutra
Visiting Researcher
PhD - Université Pierre et Marie Curie (UPMC), France
Patrick Cousot
Silver Professor
,Courant Institute of Mathematical Sciences, New York University, US
Hongseok Yang
Professor of Computer Science
,University of Oxford, United Kingdom
Peter Stuckey
Visiting Faculty
Professor
,University of Melbourne, Australia
María García de la Banda
Visiting Faculty
Professor
,Monash University, Australia
Jens Grossklags
Assistant Professor
Pennsylvania State University, USA
Somesh Jha
Professor
University of Wisconsin, USA
Bogdan Warinschi
Research Scientist
University of Bristol, United Kingdom
Michael Ernst
Professor
University of Washington, USA
Javier Esparza
Professor
Technical University of Munich, Germany
Alan Mycroft
Professor
University of Cambridge, United Kingdom
David Naumann
Professor
Stevens Institute of Technology, USA
Martin Wirsing
Professor
Ludwig Maximilian University of Munich, Germany
Neil Jones
Professor
University of Copenhagen, Denmark