photo of Cezary Kaliszyk
University of Innsbruck
Office 3M12, ICT building
Technikerstr. 21a/2 6020 Innsbruck Austria

GPG key

Cezary Kaliszyk - Teaching

(Back to main page)

Currently supervised students

  • Michael Färber (PhD) machine learning for premise selection
  • Thibault Gauthier (PhD) ITP and math libraries
  • Andreas Maislinger: Machine learning in natural deduction in BoolTool
  • Cem Okulmus: Substitution trees for resolution
  • Markus Unterkircher: Maximum set cover for strategy selection
  • Christoph Klotz: Higher-order unification

Summer Semester 2015

Winter Semester 2014

Summer Semester 2014

Winter Semester 2013

Summer Semester 2013

Winter Semester 2012

Summer Semester 2012

Back to top