We focus on research and development of applications in digital design targeted primarily to embedded systems, i.e. the methodology of digital design with respect to limiting requirements, including size, speed, testability, dependability, and resistance to faults and attacks. Our research is also focused on theoretical problems, formal verification, and suitable ways of modelling that allow prediction of required parameters. For specific practical projects and experimental verification of partial results, we use specialized laboratories that have the necessary equipment, reconfigurable hardware and software (FPGA, SoC), humanoid and industrial robots, and necessary design tools.
Where to find us
Digital Design and Dependability Research Group
Department of Digital Design
Faculty of Information Technology
Czech Technical University in Prague
Building A, 10th floor
Prague 6 – Dejvice