Georg Moser
Full Professor
University of Innsbruck
Austria
Has grant
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.
How do Pakistani students reach out?
Sign in for free to see their profile details and contact information.
Contact this professor
Research Interests
Mathematical Logic
Statistics
Formal Methods
Computational Complexity
Algorithmic Studies
Obstacle Avoidance
Mathematical Programming
Ask ApplyKite AI
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
Articles7
Year:
2023
Collaborators2
Gabriele Vanoni
University of Bologna
Manuel Schneckenreither
University of Innsbruck
How do Pakistani students reach out?
Sign in for free to see their profile details and contact information.