Výzkum

Katedra provádí výzkum v oblastech automatického plánování a rozvrhování, programování s omezujícími podmínkami, reprezentace znalostí a uvažování, booleovských funkcí, robotiky, dobývání dat, strojového učení, neuronových sítí, přírodou inspirovaných výpočtů, inteligentních sítí a paralelních a distribuovaných výpočtů. Náš výzkum zahrnuje jak teoretické aspekty, tak i praktické využití. Jsme v úzkém výzkumném kontaktu s místními partnery, jako jsou České vysoké učení technické, Masarykova univerzita a Česká akademie věd, i s partnery po celém světě, jako jsou Rutgers University, CUNY, Ben-Gurion University, University of Huddersfield, LAAS-CNRS, Saarland University, Ljubljana, University of Udine, ISTC-CNR, ESA, NASA atd.