Profil
Jonas Klamroth

Portrait von Jonas Klamroth
Jonas Klamroth
Mitarbeiter*in
Software Engineering

Jonas Klamroth studierte Informatik am Karlsruher Institut für Technologie (KIT). Während seines Studiums lagen seine Schwerpunkte auf formalen Methoden sowie Kryptographie. Seine Masterarbeit mit dem Titel "Modular Verification of JML Contracts Using Bounded Model Checking" führte er am Lehrstuhl von Prof. Dr. Beckert durch und beendete sein Studium 2019 mit einem Master of Science.

Seit April 2019 ist Jonas Klamroth für das FZI Forschungszentrum Informatik als wissenschaftlicher Mitarbeiter im Forschungsbereich Software Engineering (SE) tätig. Als Doktorand ist er Mitglied in der Forschungsgruppe von Prof. Dr. Beckert.

+49 721 9654-648

klamroth@fzi.de

Hauptsitz Karlsruhe

Go to Top