Arion Scheid

I am a Master’s student in Logic and AI at TU Wien in Vienna. My interests lie in probabilistic program verification, rewriting and logic, and more broadly in understanding when and why automated systems can be trusted. Alongside this, I am exploring explainable AI and theoretical machine learning.

Before moving to Vienna, I completed my B.Sc. in Informatics at RWTH Aachen University, including an exchange semester in the Formal Methods master’s programme at Universidad Complutense de Madrid. In my bachelor’s thesis at the Programming Languages and Verification group, I showed how stochastic context-free grammars can be used to decide almost-sure termination for a class of probabilistic term rewriting systems, and I contributed to the group’s automated termination prover AProVE. I continue to work with the group on almost-sure termination of probabilistic rewriting.