M.Sc. Jonas Klamroth

Werdegang

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.

Publikationen

Export Suchergebnis .bib

Kontakt

Telefon: +49 721 9654-648
E-Mail: klamroth@dont-want-spam.fzi.de