Universität Rostock
9
Followers
Personal Information
Unternehmen/Arbeitsplatz
Rostock Germany
Info
I am a PhD student at the Theory of Programming Languages and Programming group at the Institute of Computer Science at the University of Rostock. My research interests include formal models for industrial service languages, model checking, and correctness notions for services and their composition.