work +49 6151 16-21957
I am a Ph.D. student at the Faculty of Computer Science Universitas
My Ph.D. program is bi-nationally joint supervised with TU Darmstadt.
My supervisor is Prof. Reiner Hähnle.
I am an exchange student at TU Darmstadt and a member of Software
here or visit list of my publications. DBLP