Výuka a výzkum

Petr Kučera, KTIML MFF UK

Výzkum

Mým zájmem je zejména oblast booleovských funkcí a formulí (splnitelnost, minimální reprezentace a různé typy reprezentací, knowledge compilation, parametrizované algoritmy a další). V této oblasti také nabízím diplomové práce. Obecně mne zajímají další oblasti teoretické informatiky, teorie algoritmů a složitosti. Seznam mých publikací je možno nalézt na Google Scholar.

Výuka

Úmluva na přednášku NTIN099 -- Algoritmické aspekty booleovských funkcí a parametrizovaná složitost v letním semestru 2015/16 probíhá e-mailem.