About

Since September 2025, I have been working as a Data/Software Scientist at Data Lab Hell, a research and technology organization.

I was a computer science PhD student in the Computational Logic (CL) research group at the University of Innsbruck, supervised by Aart Middeldorp. Prior to that, I was a member of the Theoretical Computer Science (TCS) research group, where I focused on the static analysis of probabilistic programs and contributed to improving the eco-imp prototype. Before that, I was part of the Computational Logic (CL) research group, employed on the project Certification Redux led by Christian Sternagel, where I worked on improving TTT2 and implementing the Weighted Path Order (WPO) into this termination analyzer.

Education

• 2022 – today PhD in Computer Science
  ^{_{Department of Computer Science, University of Innsbruck, Austria Computational Logic Research Group}}
• 2018 – 2020 MSc in Computer Science
  ^{_{Department of Computer Science, University of Innsbruck, Austria Computational Logic Research Group}}
• 2014 – 2018 BSC in Computer Science
  ^{_{Department of Computer Science, University of Innsbruck, Austria Computational Logic Research Group}}

Work Experience

• 2025 – today Data/Software Scientist
  ^{_{Data Lab Hell, Zirl, Austria}}
• 2022 – 2025 Research Assistant
  ^{_{Department of Computer Science, University of Innsbruck, Austria Computational Logic Research Group}}
• 2020 – 2022 Research Assistant
  ^{_{Department of Computer Science, University of Innsbruck, Austria Theoretical Computer Science Research Group}}
• 2019 – 2020 External Teacher
  ^{_{Department of Computer Science, University of Innsbruck, Austria Computational Logic Research Group}}
• 2017 – 2019 Student Researcher
  ^{_{Department of Computer Science, University of Innsbruck, Austria Computational Logic Research Group}}

Miscellaneous

By the way my Erdös number is at most 5:
^{_{Schöpf -> Middeldorp -> Avenhaus -> Plaisted -> Zaks -> Erdös
Schöpf -> Middeldorp -> Moser -> Dershowitz -> Blass -> Erdös
Schöpf -> Thiemann -> Zantema -> Bodlaender -> Tuza -> Erdös
…}}