Meet ApplyKite Twin, the application assistant that learns with you
Meet your Twin, it learns with you
Your Twin learns with you
Launch week codes:30% off annual Pro20% off monthly Pro
Ends in00h00m00s
Ends in00h00m00s
Georg Moser
Has grant
Full Professor
AustriaResearch Interests
Explore related searches
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:
2025
Year:
2024
Year:
2024
Year:
2023
Year:
2023
Year:
2023
Year:
2022
Year:
2020
Year:
2020
Collaborators (2)
Gabriele Vanoni
University of Bologna
Manuel Schneckenreither
University of Innsbruck
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.