People
(Sorted according to the last name of group leader at each site)
Uppsala University, Sweden
Parosh Aziz Abdulla
Academia Sinica, Taiwan
Yu-Fang Chen, Chih-Duo Hong
University of Edinburgh, UK
Richard Mayr, Lorenzo Clemente
Rice University, USA
Moshe Vardi, Seth Fogarty
Brno University of Technology, Czech Republic
Tomas Vojnar, Lukas Holik, Ondra Lengal, Jiri Simacek
