Name:Daniel Drodt

Bio:

I am a PhD student in Prof. Reiner Hähnle’s group at TU Darmstadt working on deductive verification of Rust programs using the KeY tool.

Country:Germany

Affiliation:Technical University of Darmstadt

Research interests:Formal Methods, Deductive Verification, Dynamic Logic