2023W

• Bachelor Thesis for Informatics and Business Informatics / 185.A26 / PR
• Fundamentals of Digital Systems / 192.134 / 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
• Seminar in Logic / 192.132 / SE

2024S

• Bachelor Thesis for Informatics and Business Informatics / 185.A26 / PR
• Formal Modelling / 185.A06 / VU
• Fundamentals of programming and algorithms / 192.097 / VU
• 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