Ich beschäftige mich in der AG mit der Analyse und der Verifikation von Software und Hardware. Hierbei liegt der Schwerpunkt auf Hardware/Software Systemen auf Basis von SystemC. Dabei wird insbesondere die Interaktion mit realer Hardware betrachtet.