Research ****************************************************************************************** * ****************************************************************************************** The department does research in areas of automated planning and scheduling, constraint sat knowledge representation and reasoning, Boolean functions, robotics, data mining, machine networks, nature-inspired computations, smart grids, and parallel and distributed computin involves both theoretical aspects but also practical applications. We are in close researc local partners, such as Czech Technical University, Masaryk University, and Czech Academy as well as with partners all over the world such as Rutgers University, CUNY, Ben-Gurion U University of Huddersfield, LAAS-CNRS, Saarland University, University of Ljubljana, Unive ISTC-CNR, ESA, NASA etc.