Georg Moser

Univ.-Prof. Dr. Georg Moser is a Professor in the Department of Computer Science at the University of Innsbruck. His research focuses on theoretical computer science, complexity analysis, automated reasoning, and formal methods. He leads the Theoretical Computer Science (TCS) group, with expertise in term rewriting systems, programming language semantics, and algorithmic learning theory.

Key research areas include: complexity analysis of programs via rewriting techniques, automated tools for resource analysis (e.g., ATLAS), and foundational work on proof theory and logic. His work bridges theory and practice, addressing challenges in program verification and probabilistic systems.

Selected publications (2021–2025) highlight advancements in reinforcement learning, quantum program analysis, and modular rule-based systems. He teaches courses like 'Discrete Mathematics' and 'Introduction to Theoretical Computer Science'.