PhD student at the Software Modeling and Verification Group @ RWTH Aachen University
Company:@moves-rwth Location:Aachen