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