December 18, 2018: Thibault Gauthier defends his PhD thesis

Thibault Gauthier successfully defended his thesis on Learning-Assisted Reasoning within Proof Assistants. He joined the Automated Reasoning Group at the Czech Technical University in Prague as a postdoctoral research assistant.

December 1, 2018: Cezary Kaliszyk becomes associate professor

The CL group congratulates Cezary Kaliszyk. His research, his teaching qualities and his organisational skills have all been successfully evaluated and therefore he is now an associate professor.

November 28, 2018: Michael Färber defends his PhD thesis

Michael Färber successfully defended his PhD thesis on Learning Proof Search in Proof Assistants. Congratulations!