News:



Friday, 01 August 2014 00:00
There are no translations available.

Awarenessy entlarvt Spion in der Hand(y)tasche 

Unsere Handys wissen, von wem wir morgens das erste Email empfangen, mit wem wir wann telefonieren - und wo wir unsere Nächte verbringen. Die Politiker Malte Spitz und Balthasar Glättli haben mit ihren veröffentlichten Vorratsdaten besonders eindrucksvoll gezeigt: die smarten Mobiltelefone können ein detailliertes Profil unseres Lebens wiedergeben.

Read more...
 
Thursday, 31 July 2014 09:03

Innsbruck Researchers win 3 medals in the "Olympic Games of Logic"

Within the Vienna Summer of Logic, the first "FLoC Olympic Games" have been conducted. Die Logicians from the University of Innsbruck won 3 of the prestigious Kurt Gödel medals. The games have bundled together 14 competitions from various fields of computer science that all centre around the crucial quest for software verification by logical analysis incorporated into automated tools.

Read more...
 
Monday, 21 July 2014 00:00
There are no translations available.

Informatik: Mehr Anmeldungen trotz Aufnahmeverfahren 

Die Informatik an der Universität Innsbruck begrüßt für das Wintersemester 2014/15 an die 140 Neuzugänge zum Informatikstudium.

Read more...
 
Thursday, 03 July 2014 15:34
There are no translations available.

Weniger CO2 mit umweltbewusster App zur Routenplanung

Der IT-Preis der Stadt Innsbruck an der Universität Innsbruck prämiert herausragende Projektarbeiten im Bereich Informationstechnologie. Das Siegerteam 2014 entwickelte einen funktionalen, umweltfreundlichen Routenplaner für Android-Smartphones, der AnwenderInnen bei der CO2-Reduktion unterstützt.

Read more...
 
Tuesday, 17 June 2014 07:29

START-Programme Award for Computer Scientist at the University of Innsbruck

René Thiemann, computer scientist at the University of Innsbruck received the START-Programme Award, the most prestigious award for young researchers in Austria. René Thiemann's project deals with the improvement of programs. His aim is to extend the application of Certifiers in regard to reliability and complexity.

Read more...