mi.ki

https://formal.kastel.kit.edu/~kirsten [email protected]

Karlsruhe Institute of Technology (KIT) Karlsruhe, Germany Researcher in formal methods @kastel-security. (he/him)