Theoretical Computer Science


Theoretical Computer Science,
Department of Computer Science
University of Innsburck


Welcome to Jonas!

Jonas Schöpf recently defended his Master thesis and startet today his first day in his PhD position. He will mainly work on average case complexity for probabilistic programs. Welcome to the crowd!
Albert wins PhD Fellowship

Albert Nössig has been granted a PhD fellowship of the LFUI. Albert will work on inductive programing and concept learning. Welcome to the crowd!
Philipp defended his Master

Philipp Wirtenberger has defended his Master thesis with excellency. We wish him all the best for his future career in industry! Our loss is their gain.
Bachelor and Master Topics in TCS

The TCS group offers a number of bachelor/master projects, kindly see the corresponding teaching page. Should you wish to do a project with us, and already have some concrete ideas, simply contact us.
PhD Position available

We have an offering for a 4-year PhD position in an area of the core interests of the TCS group. In particular, we are looking for a candidate interested in one (or ideally a combination) of the following areas: (i) automation; (ii) logic and type theory; (iii) programming languages; and (iv) static program analysis. Kindly, see the information in vacancies.
TCS get's started

The homepage of the Theoretical Computer Science Group is online.
News archive



University of Innsbruck
Technikerstrasse 21a
A-6020 Innsbruck, Austria


email: {firstname.lastname}