Doktorand:in
Kaiserstraße 21
66386 St. Ingbert (Germany)
Reversible Computation (RC)
Workshop on Principles of Secure Compilation (PriSC)
International Conference on Runtime Verification (RV)