Pierre Sutra
Visiting Researcher
PhD - Université Pierre et Marie Curie (UPMC), France
![Patrick Cousot](/images/people/patrick.cousot.jpg)
Patrick Cousot
Silver Professor,
Courant Institute of Mathematical Sciences, New York University, US
![Hongseok Yang](/images/people/hongseok.yang.jpg)
Hongseok Yang
Professor of Computer Science,
University of Oxford, United Kingdom
![Peter Stuckey](/images/people/peter.stuckey.jpg)
Peter Stuckey
Visiting Faculty
Professor,
University of Melbourne, Australia
![Alan Mycroft](/images/people/alan.mycroft.jpg)
Alan Mycroft
Professor
University of Cambridge, United Kingdom
![Martin Wirsing](/images/people/martin.wirsing.jpg)
Martin Wirsing
Professor
Ludwig Maximilian University of Munich, Germany
Neil Jones
Professor
University of Copenhagen, Denmark