Current Long-Term Visitors

Yehia Abd Alrahman
Gothenburg University
Website
Visiting: Apr. 15 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Graduate Student
Parosh Abdulla
Uppsala University
Website
Visiting: Apr. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Carlos Ansotegui
Universitat de Lleida
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Albert Atserias
Universitat Politècnica de Catalunya
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist, Program Organizer and Workshop Organizer
Gilles Audemard
Universite d'Artois
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Shaun Azzopardi
Gothenburg University
Website
Visiting: Feb. 15 – Mar. 15, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Graduate Student
Paul Beame
University of Washington
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist and Workshop Organizer
Jaroslav Bendik
National University of Singapore
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Postdoc
Christoph Berkholz
Humboldt-Universität zu Berlin
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Olaf Beyersdorff
Friedrich-Schiller University of Jena
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Nikolaj Bjorner
Microsoft Research
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist and Workshop Organizer
Ras Bodik
University of Washington
Website
Visiting: Jan. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Benjamin Böhm
Friedrich-Schiller University of Jena
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Graduate Student
Mikolaj Bojanczyk
University of Warsaw
Website
Visiting: Jan. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Ilario Bonacina
Universitat Politècnica de Catalunya
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Postdoc
Maria Paola Bonacina
University of Verona
Website
Visiting: Jan. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
María Luisa Bonet Carbonell
Universitat Politecnica de Catalunya
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist and Workshop Organizer
Ahmed Bouajjani
U. Paris 7
Website
Visiting: Apr. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Curtis Bright
University of Windsor
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Sam Buss
UC San Diego
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist, Program Organizer and Workshop Organizer
Chris Cameron
University of British Columbia
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Graduate Student
Antonio Casares
Université de Bordeaux
Website
Visiting: Jan. 12 – Apr. 30, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Graduate Student
Pavol Černý
TU Wien
Visiting: Jan. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist, Program Organizer and Workshop Organizer
Supratik Chakraborty
IIT Bombay
Website
Visiting: Jan. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Lin Chen
Yale University
Visiting: Jan. 12 – May 31, 2021
Program: Theoretical Foundations of Computer Systems
Research Fellow
Yijia Chen
Fudan University & Shanghai Jiaotong University
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Jonathan Chung
University of Waterloo
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Graduate Student
Norine Coenen
CISPA Helmholtz Center
Website
Visiting: Feb. 15 – Mar. 12, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Graduate Student
Thomas Colcombet
Université Paris Diderot - Paris 7
Website
Visiting: Jan. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist, Program Organizer and Workshop Organizer
Adnan Darwiche
UC Los Angeles
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist and Workshop Organizer
Anuj Dawar
University of Cambridge
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Susanna de Rezende
Czech Academy of Sciences
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Research Fellow
Rayna Dimitrova
University of Sheffield
Website
Visiting: Feb. 15 – Apr. 10, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Akhil Dixit
UC Santa Cruz
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Graduate Student
Javier Esparza
Technische Universität München
Website
Visiting: Feb. 15 – Mar. 19, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Kousha Etessami
University of Edinburgh
Visiting: Jan. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Kousha Etessami
University of Edinburgh
Website
Visiting: Jan. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Azadeh Farzan
University of Toronto
Website
Visiting: Feb. 1 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Katalin Fazekas
Johannes Kepler University Linz
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Research Fellow
Johannes Fichte
TU Dresden
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Google Research Fellow
Nathanaël Fijalkow
CNRS
Website
Visiting: Jan. 12 – May 31, 2021
Program: Theoretical Foundations of Computer Systems
VMware Research Fellow
Bernd Finkbeiner
Saarland University
Website
Visiting: Feb. 15 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Nick Fischer
Max-Planck-Institut für Informatik
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Graduate Student
Noah Fleming
University of Toronto
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
MV Raghunathan Research Fellow
Lukás Folwarczný
Charles University Prague
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Graduate Student
Nicola Galesi
Sapienza - Università di Roma
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Vijay Ganesh
University of Waterloo
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist, Program Organizer and Workshop Organizer
Thomas Gilbert
UC Berkeley
Visiting: Jan. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Graduate Student
Ambros Gleixner
Zuse Institute Berlin
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist and Workshop Organizer
Stephan Gocht
Lund University
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Ripple UBRI Research Fellow
Aman Goel
University of Michigan
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Graduate Student
Priyanka Golia
National University of Singapore
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Graduate Student
Orna Grumberg
Technion
Website
Visiting: Mar. 22 – Apr. 30, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Shibashis Guha
Tata Institute of Fundamental Research
Website
Visiting: Jan. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Mohit Gurumukhani
UC San Diego
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Graduate Student
William Hallahan
Yale University
Website
Visiting: Jan. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Graduate Student
Markus Hecher
TU Wien
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Graduate Student
Marijn Heule
Carnegie Mellon University
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist and Workshop Organizer
Jana Hoffmann
CISPA Helmholtz Center
Website
Visiting: Apr. 15 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Graduate Student
Rakeeb Hossain
University of Waterloo
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Graduate Student
Neil Immerman
University of Massachusetts Amherst
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Russell Impagliazzo
UC San Diego
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Arthur Jaquard
IRIF
Visiting: Feb. 1 – Mar. 1, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Graduate Student
Matti Järvisalo
University of Helsinki
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist and Workshop Organizer
Jan Johannsen
Ludwig-Maximilians-Universität München
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Samuel Judson
Yale University
Website
Visiting: Mar. 15 – May 3, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Graduate Student
Marcin Jurdzinski
University of Warwick
Website
Visiting: Jan. 12 – Apr. 30, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Valentine Kabanets
Simon Fraser University
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Erfan Khaniki
Charles University Prague
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Graduate Student
Phokion G. Kolaitis
UC Santa Cruz & IBM Almaden Research Center
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Antonina Kolokolova
Memorial University of Newfoundland
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist, Program Organizer and Workshop Organizer
Alexander Kozachinskiy
University of Warwick
Website
Visiting: Mar. 1 – Mar. 31, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Graduate Student
Jędrzej Kołodziejski
University of Warsaw
Website
Visiting: Mar. 15 – Apr. 16, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Graduate Student
Antonin Kučera
Masaryk University
Website
Visiting: Mar. 1 – Apr. 2, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Oliver Kullmann
Swansea University
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Viktor Kunčak
EPFL
Website
Visiting: Jan. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Graduate Student
Marvin Künnemann
Max-Planck-Institut für Informatik
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Postdoc
Marta Kwiatkowska
University of Oxford
Website
Visiting: Jan. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist, Program Organizer and Workshop Organizer
Ratan Lal
Kansas State University
Website
Visiting: Jan. 19 – Apr. 30, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Graduate Student
Massimo Lauria
Sapienza - Università di Roma
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Ranko Lazic
University of Warwick, Department of Computer Science
Website
Visiting: Mar. 22 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Karoliina Lehtinen
University of Liverpool
Website
Visiting: Jan. 12 – May 31, 2021
Program: Theoretical Foundations of Computer Systems
Facebook/Novi Research Fellow
Jordi Levy Diaz
Artificial Intelligence Research Institute & Spanish National Research Council
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Kevin Leyton-Brown
University of British Columbia
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist and Workshop Organizer
Ian Li
University of Waterloo
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Graduate Student
Anthony Lin
TU Kaiserslautern
Website
Visiting: Jan. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Andrea Lincoln
UC Berkeley
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
NTT Research Fellow
Anna Lukina
Institute of Science and Technology Austria
Website
Visiting: Jan. 12 – May 31, 2021
Program: Theoretical Foundations of Computer Systems
Research Fellow
Ning Luo
Yale University
Visiting: Jan. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Graduate Student
Meena Mahajan
The Institute of Mathematical Sciences
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Rupak Majumdar
Max Planck Institute for Software Systems; International Computer Science Institute
Website
Visiting: Jan. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist and Workshop Organizer
Susan Margulies
United States Naval Academy
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Joao Marques-Silva
University of Toulouse
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Mauricio Martel
Gothenburg University
Visiting: Mar. 15 – Apr. 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Graduate Student
Alexandra Martins da Silva
University College London
Website
Visiting: Jan. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Umang Mathur
University of Illinois at Urbana-Champaign
Website
Visiting: Jan. 12 – May 31, 2021
Program: Theoretical Foundations of Computer Systems
NTT Research Fellow
Ciaran McCreesh
University of Glasgow
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Kuldeep Singh Meel
National University of Singapore
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist and Workshop Organizer
Niklas Metzger
CISPA Helmholtz Center
Website
Visiting: Feb. 15 – Mar. 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Graduate Student
Yifei Min
Yale University
Visiting: Jan. 20 – Mar. 19, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Graduate Student
David Mitchell
Simon Fraser University
Website
Visiting: Jan. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Sayan Mitra
University of Illinois at Urbana Champaign
Website
Visiting: Mar. 1 – Apr. 2, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Sibylle Möhle
Johannes Kepler University Linz
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Graduate Student
Sasank Mouli
UC San Diego
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Graduate Student
Soham Mukherjee
University of Waterloo
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Graduate Student
Annielo Murano
University of Naples Federico II
Website
Visiting: Jan. 12 – May 7, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Anca Muscholl
University of Bordeaux
Visiting: Jan. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Saeed Nejati
University of Waterloo
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Postdoc
Jakob Nordström
University of Copenhagen & Lund University
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist, Program Organizer and Workshop Organizer
Gethin Norman
University of Glasgow
Website
Visiting: Feb. 8 – Mar. 12, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Joanna Ochremiak
CNRS
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Research Fellow
Pierre Ohlmann
IRIF
Website
Visiting: Jan. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Graduate Student
Oleksii Omelchenko
Simon Fraser University
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Graduate Student
Noemi Passing
CISPA Helmholtz Center
Website
Visiting: Mar. 15 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Graduate Student
Mohan Paturi
UC San Diego
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist and Workshop Organizer
Vaidyanathan Peruvemba Ramaswamy
TU Wien
Website
Visiting: Jan. 25 – Feb. 26, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Graduate Student
Ján Pich
Oxford University
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Graduate Student
Ruzica Piskac
Yale University
Visiting: Jan. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist, Program Organizer and Workshop Organizer
Toni Pitassi
University of Toronto
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist and Workshop Organizer
Nir Piterman
Gothenburg University
Website
Visiting: Feb. 15 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Yash Pralhad Pote
National University of Singapore
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Graduate Student
Pavithra Prabhakar
Kansas State University
Website
Visiting: Jan. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Pavel Pudlák
Czech Academy of Sciences
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Thejaswini Raghavan
University of Warwick
Visiting: Mar. 5 – Apr. 30, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Graduate Student
Kilian Risse
KTH Royal Institute of Technology
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Graduate Student
Robert Robere
McGill University
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Siobhan Roberts
Visiting: Jan. 12 – Jul. 16, 2021
Journalist in Residence
Ralf Rothenberger
University of Potsdam
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Microsoft Research Fellow
Barna Saha
UC Berkeley
Website
Visiting: Jan. 12 – May 31, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Karem Sakallah
University of Michigan
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Rahul Santhanam
University of Oxford
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
André Schidler
TU Wien
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Graduate Student
Maximilian Schwenger
CISPA Helmholtz Center
Website
Visiting: Mar. 11 – Apr. 9, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Graduate Student
Dana Scott
UC Berkeley & Carnegie Mellon University
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Joe Scott
University of Waterloo
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Graduate Student
Martina Seidl
Johannes Kepler University Linz
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist and Workshop Organizer
Laurent Simon
Bordeaux INP
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Dmitry Sokolov
Steklov Institute of Mathematics
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Mate Soos
National University of Singapore
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Postdoc
Rafał Stefański
University of Warsaw
Website
Visiting: Jan. 12 – Mar. 12, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Graduate Student
Stefan Szeider
TU Wien
Website
Visiting: Jan. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems, Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Navid Talebanfard
Czech Academy of Sciences
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Postdoc
Evgenia Ternovska
Simon Fraser University
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Neil Thapen
Czech Academy of Sciences
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist and Workshop Organizer
Ufuk Topcu
University of Texas at Austin
Website
Visiting: Feb. 26 – Apr. 2, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Szymon Torunczyk
University of Warsaw
Visiting: Jan. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Marc Vinyals
Technion - Israel Institute of Technology
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist
Nikhil Vyas
Massachusetts Institute of Technology
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Graduate Student
Igor Walukiewicz
University of Bordeaux
Visiting: Jan. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Krystopher Weeton
UC San Diego
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Graduate Student
Jack Wesley
UC Davis
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Graduate Student
Thomas Wies
NYU
Website
Visiting: Jan. 12 – May 14, 2021
Program: Theoretical Foundations of Computer Systems
Visiting Scientist
Ryan Williams
Massachusetts Institute of Technology
Website
Visiting: Jan. 12 – May 14, 2021
Program: Satisfiability: Theory, Practice, and Beyond
Visiting Scientist

* Visitors with dates shown as "Various times" are making several visits to the Institute during the program. To determine whether they will be present on a particular date, please contact the Visitor Services Coordinator.