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