Katedra: KTIML
Vyučoval predmety Výroková a predikátová logika, Logické programování I, Logické programování II, Automatické dokazování vět II, Lambda-kalkulus a funkcionální programování I a Lambda-kalkulus a funkcionální programování II.
Hovoril potichu a chraptěl, takže mu bylo ťažko rozumieť, a to i v prvních řadách.
Zemřel 11. července 2012 po dlouhé těžké nemoci.
http://www.mff.cuni.cz/fakulta/struktura/lide/421.htm
prezentace k predmetom KTIML