Internationales Doktoratsstudium am RISC

Das Research Institute for Symbolic Computation (RISC-Linz), gegründet von Professor Bruno Buchberger, ist ein der Forschung wie auch der Lehre gewidmetes Institut der Johannes Kepler Universität. Das RISC ist nicht auf dem Campus angesiedelt, sondern in Hagenberg, etwa 25 km nördlich von Linz.

Schwerpunkt des wissenschaftlichen Arbeitens ist `Symbolic Computation', ein Gebiet im Schnittpunkt von Mathematik und Computer Science, welches an Bedeutung immer noch zunimmt.

Zentrales Thema ist das Finden von exakten, symbolischen (das heisst, nicht-numerischen) Lösungen von Problemen aus Grundlagenforschung und Anwendung, und der Entwurf und die Implementierung von entsprechenden Algorithmen.

Im Rahmen des Doktorats-und Diplomstudiums der Mathematik sowie der Computerwissenschaften bietet RISC-Linz Lehrveranstaltungen u.a. zu folgenden Schwerpunkten an:

Computer Algebra
Kombinatorik (Symbolic Computation in Combinatorics)
Algebraische Geometrie
Berechenbarkeit
Formale Methoden
Computational Logic

Das Diplomstudium in Symbolic Computation besteht aus einem methodischen Teil, weiters aus einer individuellen Zusammenstellung von 10 Kursen aus den obigen Gebieten, sowie der aktiven Mitarbeit an einem Forschungsprojekt mit abschliessender Diplomarbeit. Um die Festlegung eines persönlichen Profils zu erleichtern, beginnt es mit einer ersten Orientierungsphase, in welcher Kurse aus mehreren Gebieten absolviert werden können.

Das Doktorats-Programm besteht aus Literaturstudium, der Teilnahme an 10 weiteren Kursen aus obigem Angebot und intensiver Mitarbeit in einem (möglicherweise auch industriellen) Forschungsprojekt, in dessen Verlauf eine Dissertation verfasst wird. Ein wesentlicher Hauptpunkt ist die Entwicklung von neuer, konstruktiver Mathematik ZUSAMMEN mit der Erstellung von entsprechender Software.

back