Thorsten completed his PhD in 2016 at the Institute of Science and Technology Austria in formal methods and has been working at the Austrian Institute of Technology as a Research Engineer since. At AIT he works on model-based test case generation and threat-modelling. He gives a lecture related to test engineering at the FH Campus.