obhájil dne 24. února 2012 v 13:30 hod na FJFI ČVUT, Trojanova 13, Praha 2 doktorskou disertační práci na téma Probabilistic Compositional Models: solution of an equivalence problem.
Obsahem předmětu je přehled metod používaných pro zpracování neurčitosti v oblasti umělé inteligence. Hlavní pozornost je věnována tzv. grafickým markovským modelům, zejména Bayesovským sítím.
Osnova:
1. Úvod do umělé inteligence: řešení problému, stavové prostory, hledání řešení, algoritmus A s hvězdičkou, optimalita řešení.