Jonas Klamroth
Profil Jonas Klamroth Zurück zur Übersicht 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