Universität Rostock
9
Seguidores
Personal Information
Organización/Lugar de trabajo
Rostock Germany
Sitio web
wwwteo.informatik.uni-rostock.de/ls_tpp/
Acerca de
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.