About

I am a computer science PhD student working in the Computational Logic (CL) research group at the University of Innsbruck supervised by Aart Middeldorp.

Previously 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 improving the eco-imp protoype. Prior, I was a member of the Computational Logic (CL) research group and employed on the project Certification Redux led by Christian Sternagel. I was concerned with the improvement of TTT2 and an implementation of 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

• 2022 – today 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
…}}