STI Innsbruck is a research group at the University of Innsbruck engaged in research and development to bring information and communication technologies of the future into today's world.
Dr. Stijn Heymann was working for our institute from 2006 to 2008 and helped significantly to strengthen the expertise around formal languages in Tyrol.
Contact person in charge.