Research
Topics of Interest
Our Chair of Computer Science V deals with fundamental issues of hardware design of computer systems. This includes the design of integrated circuits, their analysis using simulation as well as formal verification, computer-aided synthesis and optimization of digital circuits, automatic layout synthesis, diagnostics and testing of circuits and systems, and finally the design of associated but reusable application software. This also includes FPGAs and microcontrollers, which are assembled for instance in Embedded Systems and Wireless Sensor Networks (WSN).
