2024W

• Bachelor Thesis for Informatics and Business Informatics / 185.A26 / PR
• Fundamentals of Digital Systems / 192.134 / VU
• Higher-order Logic / 192.040 / VU
• Introduction to Programming 1 / 185.A91 / VU
• Project in Computer Science 1 / 192.021 / PR
• Project in Computer Science 2 / 192.022 / PR
• Propädeutikum für Informatik / 180.771 / VU

2025S

• Bachelor Thesis for Informatics and Business Informatics / 185.A26 / PR
• Project in Computer Science 1 / 192.021 / PR
• Project in Computer Science 2 / 192.022 / PR

• Proof Theoretic Applications of CERES
  2010 – 2012 / Austrian Science Fund (FWF)
  Publications: 53859 / 85196

• Automated Instantiation of Control Flow Tracing Exercises / Eisenhofer, C., & Riener, M. (2022). Automated Instantiation of Control Flow Tracing Exercises. In J. Marcos, W. Neuper, & P. Quaresma (Eds.), Proceedings 10th International Workshop on Theorem Proving Components for Educational Software (pp. 43–58). EPTCS. https://doi.org/10.4204/EPTCS.354.4
  Download: PDF (629 KB)
• Applications of higher-order cut-elimination / Riener, M. (2017). Applications of higher-order cut-elimination [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2017.25064
  Download: PDF (7.03 MB)
• Integrating theories into inference systems / Riener, M. (2011). Integrating theories into inference systems [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/159961