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.

Petr

Petr