- Project Assistant, Dipl.Ing.
- TU Wien
- Institute for Logic and Computation 192/4
- Favoritenstraße 9–11
- 1040 Wien
- Room: HD 03 23
- Email: jakob.rath [at] tuwien.ac.at
- Automated Theorem Proving
- 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.
- Dipl.Ing. in Logic and Computation, TU Wien
- BSc in Software and Information Engineering, TU Wien