About

I am a PhD Student at Saarland University. I am interested in formal methods.