About Me

I graduated in June 2020 with a PhD in Computer Science at the Computational Logic research group, University of Innsbruck, Austria.

Research Interests

• program analysis
• termination and runtime complexity analysis
• automation
• constraint solving with SAT/SMT

...more

Now, I am a software developer at Build Informed GmbH, Innsbruck.