professor profile picture

Georg Moser

Full Professor

University of Innsbruck

Country flag

Austria

Has grant

This profile is automatically generated from trusted academic sources.

Google Scholar

.

ORCID

.

LinkedIn

Social connections

How do Nigerian students reach out?

Sign in for free to see their profile details and contact information.

Meet Kite AI

Contact this professor

Send an email
LinkedIn
ORCID
Google Scholar
Academic Page

Research Interests

Mathematical Logic

30%

Statistics

10%

Formal Methods

40%

Computational Complexity

30%

Algorithmic Studies

20%

Obstacle Avoidance

10%

Mathematical Programming

10%

Ask ApplyKite AI

Start chatting
How can you help me contact this professor?
What are this professor's research interests?
How should I write an email to this professor?

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

Collaborators2

Gabriele Vanoni

University of Bologna

FRANCE

Manuel Schneckenreither

University of Innsbruck

AUSTRIA