Visiting Members
| Name |
Affiliation |
Time |
Project |
| Alban Reynaud | Université Lyon 1 | 2019, May 6 – July 19 | Certifying Termination and Complexity |
| Mateus de Oliveira Oliveira |
University of Bergen | 2019, May 6 – 10 | - |
| Alexander Krauss | QAware GmbH | 2019, Apr. 4 | - |
| Makarius Wenzel | Sketis.net | 2019, Jan. 7 – 9 | - |
| Julian Nagele | Queen Mary University of London | 2018, Dec. 6 – 7 | Confluence to UNF |
| Nao Hirokawa | JAIST | 2018, Dec. 2 – 7 | Confluence to UNF |
| Jan Jakubův | Czech Technical University in Prague |
2018, Nov. 19 – Dec. 14 | - |
| Bartosz Piotrowski | University of Warsaw | 2018, Nov. 12 – 30 | - |
| Karol Pąk | University of Białystok | 2018, Oct. 22 – 28 | HOL(y)Hammer |
| Ryota Nakayama | Nagoya University | 2018, Oct. 4 – 2019, Jan. 31 | - |
| Jonas Betzendahl | FAU Erlangen-Nürnberg | 2018, Sept. 25 – Oct. 5 | - |
| Kei Shirakizawa | JAIST | 2018, 6 Jun. – 2019, 14 May | FORTissimo |
| Satoshi Tojo | JAIST | 2018, Jun. 18 – 19 | - |
| Nguyen Le Minh | JAIST | 2018, Jun. 18 | - |
| Julien Braine | ENS Lyon | 2018, Mar. 5 – Aug. 6 | - |
| Ryota Nakayama | Nagoya University | 2018, Mar. 18 – 25 | - |
| Naoki Nishida | Nagoya University | 2018, Mar. 18 – 25 | - |
| Masahiko Sakai | Nagoya University | 2018, Mar. 18 – 21 | - |
| Anders Schlichtkrull | Technical University of Denmark | 2018, Feb. 25 – Mar. 3 | Certification Redux |
| Lasse Blaauwbroek | Czech Technical University in Prague |
2018, Feb. 1 – Mar. 2 | Strong Modular Proof Assistance |
| Josef Urban | Czech Technical University in Prague | 2018, Feb. 19 – 23 | Strong Modular Proof Assistance |
| Cody Roux | Charles Stark Draper Laboratory | 2017, Nov. 10 – 14 | - |
| Jiří Vyskočil | Czech Technical University in Prague |
2017, Oct. 2 – 31 | Strong Modular Proof Assistance |
| Chad Brown | Czech Technical University in Prague |
2017, Oct. 2 – 31 | Strong Modular Proof Assistance |
| Makarius Wenzel | Sketis.net | 2017, Sept. 11 – 13 | Certification Redux |
| Masahiko Sakai | Nagoya University | 2017, Aug. 29 – 30 | - |
| Nao Hirokawa | JAIST | 2017, Aug. 8 – 16 | Confluence to UNF |
| Jose Divasón | Universidad de La Rioja | 2017, Jun. 1 – 15 | Certifying Termination and Complexity |
| John Harrison | Intel Corporation | 2017, Mar. 23-25 | HOL(y)Hammer |
| Karol Pąk | University of Białystok | 2016, Sept. 30 – Oct. 8 | Isabelle/Mizar |
| Takahito Aoto | Niigata University | 2016, Sept. 12 – 16 | Confluence to UNF |
| Masahiko Sakai | Nagoya University | 2016, Sept. 12 – 13 | - |
| Peter Schuster | University of Verona | 2016, Mar. 3 | Complexity (ACAT) |
| Jose Divasón | Universidad de La Rioja | 2016, Feb. 15 – May 15 | Certifying Termination and Complexity |
| Claudio Sacerdoti Coen | University of Bologna | 2016, Jan. 11 – 15 | HOL(y)Hammer |
| Florian Rabe | Jacobs University Bremen | 2016, Jan. 11 – 15 | HOL(y)Hammer |
| Marc Brockschmidt | Microsoft Research | 2015, Nov. 4 – 6 | Certifying Termination and Complexity |
| Jordan Thayer | Charles Stark Draper Laboratory | 2015, Oct. 29 – Nov. 4 | - |
| Cody Roux | Charles Stark Draper Laboratory | 2015, Oct. 29 – Nov. 4 | - |
| David Aspinall | University of Edinburgh | 2015, Aug. 25 – Sept. 4 | HOL(y)Hammer |
| Federico Aschieri | TU Wien | 2015, Jun. 1 – 5 | Complexity (ACAT) |
| Jose Divasón | Universidad de La Rioja | 2015, May 19 – 22 | Certifying Termination and Complexity |
| Florian Haftmann | TU Munich | 2015, Jan. 27 – 28 | - |
The list is sorted in reverse chronological order. Only visitors from 2015 onwards are displayed.