About
Karl Aaron Rudkowski is a doctoral student at the University of Bremen under the supervision of Rolf Drechsler, and employed as a Researcher in the Cyber-Physical Systems department of the German Research Center for Artificial Intelligence (DFKI). His main research focus is symbolic execution, and how it can be applied to the verification of hardware models across abstraction levels. He is further interested in testing and debugging of quantum circuits.