Registered user since Wed 4 Sep 2019
I am a PhD student with the Chair of Software Engineering II at the University of Passau, Germany. I received a Bachelor (in 2016) and a Master (in 2018) degree in computer science from the University of Passau. I am working on automated test generation for dynamically typed programming languages, and on static and dynamic analysis techniques for such languages. I am furthermore interested in type systems; in particular type systems and type inference strategies for dynamically-typed languages.