Since March 2009 I am researcher and PhD student at the Symbolic Computation Group at the University of Tübingen under the supervision of Prof. Küchlin. My main research topics are SAT Solving, Software Verification, Automated Reasoning, and Computer Algebra.
After studying musicology and dramatics at the University of Vienna, I graduated in computer science with minor math at the University of Passau in 2007. In 2008 I worked together with Prof. Fairouz Kamareddine and Dr. Joe Wells at the Heriot-Watt University in Edinburgh in the MathLang Project.
One of my hobbies is playing and composing music. Between 2000 and 2006 I composed two musicals: Odysseus (Ulysses) and Chateau Margouse. You can find some of my work in the About Me section.
