Moritz Sinn

Address:
Technische Universität Wien
Institut für Informationssysteme 184/4
Moritz Sinn
Favoritenstraße 9–11
1040 Wien
Austria

Room:	HE0309 (how to get there)
Phone:	+43 (1) 58801 – 18407
Email:	ta.etysrofnull@nnis
Web:	http://forsyte.at/~sinn/

Publications

2011
[2]	Bound analysis of imperative programs with the size-change abstraction Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut VeithIn Proceedings of the 18th international conference on Static analysis, pages 280-297, 2011.Springer-Verlag [bib] [pdf]
2010
[1]	Loopus - A Tool for Computing Loop Bounds for C Programs Florian Zuleger, Moritz SinnIn Proceedings of the 3rd Workshop on Invariant Generation (WING), 2010. [bib]

Powered by bibtexbrowser

Uni-Finanzierung als Absurdes Theater (Der Standard)

March 28, 2012

An sieben Universitäten werden in Österreich Informatik-Studien angeboten, aber mehr als 50 Prozent der Studierenden wählen die TU Wien – über 1000 Studienanfänger jährlich. Der gute Ruf der TU Wien wird zum Fluch für das Studium, denn auf 52 habilitierte Professoren kommen fast 7000 Studierende; ein solches Verhältnis wäre bei anderen international führenden Universitäten undenkbar. [...]

[Read More...]