Tobias Heindel

Tobias Heindel is a theoretical computer scientist with a strong foundation in formal methods, focusing primarily on model checking and related areas. He enjoys exploring different levels of abstraction and has an amateur interest in category theory. Professionally, he is particularly intrigued by the game theoretic aspects of Anoma and actively contributes to its formal verification processes. Outside of his academic and professional pursuits, Tobias is an avid cyclist and can often be found biking around his local area. Additionally, he has a keen interest in music and is looking to join an a capella group in Berlin.