stellv. Abteilungsleitung
Intelligent Systems and Production Engineering

Anton Paule studierte zwischen 2009 und 2016 am Karlsruher Institut für Technologie (KIT) Elektro- und Informationstechnik. Den Masterabschluss absolvierte er mit der Vertiefungsrichtung Systems and Software Engineering. Seit 2016 ist er als wissenschaftlicher Mitarbeiter im Bereich Intelligent Systems and Production Engineering (ISPE) tätig und forscht im Bereich Software/Hardware Co-Verifikation von eingebetteten Systemen. Seit 2021 ist er stellvertretender Leiter der Abteilung Systementwurf in der Mikroelektronik (SiM).

Seine Forschungsinteressen liegen im Entwurf und Anwendung formaler Methoden zur Verifikation von eingebetteten Systemen. Dazu zählen Methoden des agilen ESL Entwurf, eingebettete domänenspezifische Sprachen (DSLs), Compilertechnologien und statische Analysen.