conf.researchr.org / Daniel Drodt
Registered user since Thu 19 Feb 2026
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
Personal website: https://www.informatik.tu-darmstadt.de/se/gruppenmitglieder/groupmembers_detailseite_132224.de.jsp
GitHub: https://github.com/Drodt
Research interests:Formal Methods, Deductive Verification, Dynamic Logic
Contributions