Ich beschäftige mich mit der Verifikation von eingebetteten Systemen im Rahmen des Forschungsprojekts Scale4Edge. Hierbei betrachte ich vor allem die Schnittstelle zwischen Hardware und Software. Ein weiteres meiner Forschungsinteressen liegt in der formalen Verifikation.