Theoretical Computer Science

Publications 2020

Contributions to Books / Journals

Journal Article (Original Paper)
  • Moser, Georg; Schneckenreither, Manuel (2020): Automated amortised resource analysis for term rewrite systems.
    In: SCIENCE OF COMPUTER PROGRAMMING 185, No. 102306. (DOI) (Web link)

Journal Article (Proceedings Paper)
  • Avanzini, Martin; Moser, Georg; Schaper, Michael (2020): A modular cost analysis for probabilistic programs.
    In: Proceedings of the ACM on Programming Languages 4/OOPLSA, No. 172. (DOI) (Web link)

Lectures 2020

Presentations at Conferences, Symposia, etc.

Conference Lecture (Upon Registration)
  • Lecturer(s): Moser, Georg Co-author(s): Avanzini, Martin; Schaper, Michael: A modular cost analysis for probabilistic programs.
    2020 ACM SIGPLAN International conference on Systems, Programming, Languages, and Applications: Software for Humanity (virtual), Chicago, 2020-11-21. (Web link)

Lecture at Summer-/Winterschool
  • Lecturer(s): Moser, Georg: Static Complexity Analysis.
    Caleidoscope: Complexity as a Kaleidoscope. Research school in computational complexity, Paris, 2020-06-15. (Web link)

Projects, scholarships and other third-party funds 2020

Research Projects

  • Moser, Georg: Proof theory for branching quantifiers: CERES and beyond.
    Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Einzelprojekt
    2018-01-01 - 2021-04-30


  • Nössig, Albert: Inductive Programming and Rule Learning.
    Leopold-Franzens-Universität Innsbruck - Vizerektorat für Forschung, Doktoratsstipendien aus der Nachwuchsförderung der LFU
    2020-05-01 - 2021-04-30

Academic Activities and Achievements 2020

Supervision of Student Theses

  • Moser, Georg: Maringele, Alexander: Instantiation-based First-Order Theorem Proving with Equality (2015 - 2023).

  • Netzer, Tim; De Las Cuevas Millan, Gemma; Moser, Georg: Abbasi, Paria: Approximation techniques for positive matrices (2019 - 2022).