Die Fakultät für Informatik ist eine von insgesamt acht Fakultäten der Technischen Universität (TU) Wien und gliedert sich in sieben Institute sowie als zentrale Einrichtungen das Dekanat und das Zentrum für Koordination und Kommunikation. Mit den Studienrichtungen Informatik und Wirtschaftsinformatik betreut die Fakultät für Informatik derzeit die größte und viertgrößte Studienrichtung an der TU Wien. Die Forschungsschwerpunkte liegen im Bereich Medieninformatik und Visualisierung, Wirtschaftsinformatik, Technische Informatik, Verteilte und Parallele Systeme sowie Computational Intelligence.
Der Award des BMWF zeichnet österreichweit die 30 besten Dissertanten des Studienjahres 2007/08 aus und ist mit je 2.500 Euro dotiert.
Fünf der insgesamt 12 im Rahmen des ersten „Information and Communication Technology“ Call geförderten Projekte gehen an die Fakultät für Informatik.
Public Lecture in Business Informatics 2008/09
Die Preise werden einmal pro Studienjahr vom Arbeitsbereich für Mustererkennung und Bildverarbeitung (PRIP 183/2) an Studierende der TU Wien vergeben.
We present a method for generating loop invariants and bound assertion for a subfamily of imperative loops operating on numbers, called the P-solvable loops. The method uses symbolic summation, Groebner basis computation, and quantifier elimination.
Präsentation der Diplomarbeiten der Fakultät für Informatik.
The talk will be about the physiology of plants and how to implement branching, tropisms, hormons and their control in simplifyfied simulations.