• Project Assistant, Dipl.Ing.
• TU Wien
• Institute for Logic and Computation 192/4
• Favoritenstraße 9–11
• 1040 Wien
• Austria

 

---

• Room: HD 03 23
• Email: jakob.rath [at] tuwien.ac.at

---

Research Interests

• Automated Theorem Proving

Current Position

• I am a PhD student under supervision of Prof. Laura Kovács and am associated with the Doctoral College Logical Methods in Computer Science. I am working on the theorem prover Vampire.

---

Education

• Dipl.Ing. in Logic and Computation, TU Wien
• BSc in Software and Information Engineering, TU Wien