Jonas Klamroth
Profile Jonas Klamroth Back to the overview Jonas Klamroth Staff Software Engineering Jonas Klamroth studied Computer Science at the Karlsruhe Institute of Technology (KIT), focusing on formal methods and cryptography. He completed his Master's thesis entitled "Modular Verification of JML Contracts Using Bounded Model Checking" under the supervision of Prof.