Dies academicus 2009 - Universität Passau

Weitere Magazine

Empfehlungen

Info

Dr. Franz Weitl „Document Verification with Temporal Description Logics“ Franz Weitl wurde am 2 . Dezember 1972 in Altötting geboren. Nach einer Aus- bildung und Tätigkeit als mathematisch-technischer Assistent am Forschungszen- trum Jülich studierte er von 1996 bis 2001 Informatik an der Universität Passau. Von 2001 bis 2004 entwickelte er eLearning-Inhalte und -Technologien am Institut für Informationssysteme und Softwaretechnik der Universität Passau. Anschließend war er bis 2009 wissenschaftlicher Mitarbeiter am Lehrstuhl für Informationsma- nagement von Professor Dr. Burkhard Freitag. Dr. Weitl erhielt den Doktorgrad an der Universität Passau im Jahr 2008. Der Deutsche Akademische Austauschdienst (DAAD) sprach ihm ein Stipendium für eine einjährige wissenschaftliche Tätigkeit als Postdoc am National Institute of Informatics in Tokio zu, wo er derzeit in der Forschungsgruppe von Professor Shin Nakajima Verfahren zur Fehleranalyse in kom- plexen dynamischen Systemen entwickelt. In seiner Dissertation befasst sich Dr. Weitl mit der Konsistenzprüfung digitaler Do- kumente, deren Anwendungen von der Prüfung der inhaltlichen Kohärenz von digi- talem Lehrmaterial über Konsistenzprüfungen für technische Dokumentationen und Web-Portale bis zur Software-Qualitätssicherung reichen. Ein Dokument soll dann als konsistent angesehen werden, wenn es bestimmte strukturelle und inhaltliche Kriterien erfüllt. Um die Einhaltung eines solchen Konsistenzkriteriums automatisch überprüfen zu können, waren sowohl eine brauchbare formale Repräsentation des zu untersuchenden Dokuments als auch ein geeigneter Formalismus zur Spezifikati- on des Kriteriums und ein effizientes Prüfverfahren zu entwickeln. Alle diese Teilauf- gaben wurden von Dr. Weitl übernommen, der über die konzeptionellen Arbeiten hinaus sein Verfahren auch vollständig implementiert und anhand praktischer Ex- perimente evaluiert hat. Wissenschaftspreise der Universität Passau Dissertationspreis der CommuniGate Kommunikationservice GmbH Erstgutachter: Professor Dr. Burkhard Freitag Zweitgutachter: Professor Dr. Günther Görz (Universität Erlangen-Nürnberg) Dr. Weitl definiert eine neue temporal-beschreibungslogische Sprache, die im Ge- gensatz zu bekannten Formalismen auch Anforderungen an inhaltliche Zusammen- hänge entlang individueller Lesepfade durch ein Dokument repräsentieren kann. In Fallstudien wird gezeigt, dass der Formalismus als Basis für die Repräsentation digitaler Dokumente und die Spezifikation von Konsistenzkriterien gut geeignet ist. Für die Konsistenzprüfung schlägt Dr. Weitl ein Model Checking Verfahren vor und gibt eine Abbildung auf ein aus der Programmverifikation bekanntes Verfahren an. Er weist nach, dass das Model Checking Problem für die von ihm definierte Spra- che im Gegensatz zu allgemeinen temporal-beschreibungslogischen Sprachen bei endlichen Begriffsmengen (Domänen) entscheidbar und von polynomieller, d. h. beherrschbarer Komplexität ist. Die erzielte Performanz übertrifft für typische digi- tale Dokumente diejenige eines state-of-the-art Model Checkers um mehrere Grö- ßenordnungen. Zugleich ist dies nach heutigem Wissen das erste Model Checking Verfahren für eine temporale Beschreibungslogik.
Dr. Elmar Bindl „Ökonomische Analyse der verdeckten Gewinnausschüttung – Eine Untersuchung am Beispiel des § 8a KStG i.d.F. des Korb-II-Gesetzes“ Herr Dr. Elmar Bindl wurde 1978 in Wasserburg am Inn geboren und studierte Be- triebswirtschaftslehre an der Universität Passau und an der University of New South Wales (Sydney). Anschließend war er im zeitlichen Wechsel für eine mittelständische Wirtschaftsprüfungs- und Steuerberatungsgesellschaft und als wissenschaftlicher Mitarbeiter am Lehrstuhl für Betriebswirtschaftslehre mit Schwerpunkt Betriebswirt- schaftliche Steuerlehre an der Universität Passau tätig. Neben seiner Promotion hat Herr Dr. Bindl im Jahr 2008 auch das Steuerberaterexamen erfolgreich abgelegt. Seit Mitte 2008 ist er als Associate in der internationalen Wirtschaftskanzlei Linkla- ters LLP in München tätig. Die Arbeit beschäftigt sich mit einer umfassenden betriebswirtschaftlichen Analyse des Rechtsinstituts der verdeckten Gewinnausschüttung im deutschen Steuerrecht, die am Beispiel des § 8a KStG i.d.F. des Korb-II-Gesetzes durchgeführt wird. Die bisher vorhandene Literatur zur verdeckten Gewinnausschüttung beschränkt sich meist auf verbale bzw. steuerrechtliche Ausführungen. Werden ökonomische Ana- lysen durchgeführt, so erschöpfen sich diese regelmäßig in kasuistischen Veranla- gungssimulationen, die über den konkret berechneten Einzelfall hinaus aufgrund ihrer hohen Parameterabhängigkeit nur bedingt allgemeingültige Aussagen zulas- sen. So mangelt es bisher an einem einheitlichen Modellrahmen, anhand dessen die ökonomischen Wirkungen der verdeckten Gewinnausschüttung in analytischer Form hergeleitet werden. Diese Lücken werden mit der vorliegenden Untersuchung geschlossen. Anhand eines mehrperiodigen investitionstheoretischen Modells erarbeitet der Verfasser Wissenschaftspreise der Universität Passau Dissertationspreis der Sparkasse Passau Erstgutachter: Professor Dr. Klaus Dittmar Haase Zweitgutachter: Professor Dr. Jürgen Steiner gründlich und umfassend nicht nur die statischen, sondern auch die dynamischen Steuerwirkungen der verdeckten Gewinnausschüttung. Er beschränkt sich dabei nicht auf den Ein-Gesellschafter-Fall, sondern untersucht darüber hinaus auch Um- verteilungswirkungen im Mehr-Personen-Kontext. Die Analyse umfasst außerdem komplexe Fallvarianten in mehrstufig verzweigten Konzernstrukturen. Dabei iden- tifiziert der Verfasser in systematisch geschlossener und anschaulicher Form eine ganze Reihe von Steuerbelastungs-, Liquiditäts-, Zins- und Vermögenseffekten und zeigt zudem mathematisch die Interdependenzen zwischen den einzelnen Effekten auf. Die Kenntnis der betriebswirtschaftlichen Auswirkungen einer steuerlichen Rege- lung sowie der relevanten Stellgrößen ist Voraussetzung für die Implementierung einer rationalen Steuerstrategie. Herrn Bindl ist es in seiner Arbeit überzeugend ge- lungen, diese zentralen Wirkungsmechanismen aufzuzeigen und zu quantifizieren. Er liefert damit einen wertvollen Beitrag zur Lösung des Steuerplanungsproblems aus theoretischer wie aus praktischer Sicht. Dies academicus 09 • Seite 9
Seite 1 und 2: ies academicus 2009•Dies academic
Seite 3: Privatdozent Dr. Martin Hille „Pr
Seite 7 und 8: Pater Dr. Edward Fröhling SAC „
Seite 9 und 10: Preis für gute Lehre Eine hohe Qua

Dies academicus 2009 - Universität Passau

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

Template löschen?

Als Template speichern?