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.
She combines a deep understanding of 1st and 2nd order logic with a charming personality, a unique combination. She was very active in the Formal Languages and Reasoning group and provided conceptual leadership in the LarKC project (Large Knowledge Collider). We wish her the very best for her future career.
Contact person in charge.