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.

Nach oben scrollen