Georg Moser
Has grant
Full Professor
Research Interests
Explore related searches
Contact this professor
About
Georg Moser is a Full Professor at the University of Innsbruck, Austria. His research encompasses various areas including reinforcement learning, modular rule learning, and the analysis of recursive programs. Additionally, he has contributed to advancements in automated resource analysis and complexity related to probabilistic programs. His recent publications reflect a strong emphasis on theoretical frameworks and practical applications in computer science.
Recent Grants
Grant: Open
Automated Amortised Resource Analysis of Data Structures
Open Date: 2023-04-01
Close Date: 2027-03-31
Grant: Close
Proof theory for branching quantifiers: CERES and beyond
Open Date: 2018-01-01
Close Date: 2019-12-31
Grant: Close
The Fine Structure of Formal Proof Systems and their Computational Interpretations
Open Date: 2016-01-01
Close Date: 2019-06-30
Grant: Close
Automated Complexity Analysis via Transformations
Open Date: 2013-10-01
Close Date: 2016-09-30
Grant: Close
Structural and Computational Proof Theory
Open Date: 2011-02-01
Close Date: 2014-03-31
Articles (9)
Year:
2024
Year:
2023
Collaborators (2)
Gabriele Vanoni
University of Bologna
Manuel Schneckenreither
University of Innsbruck
How do I reach out?
Sign in for free to see their profile details and contact information.