172.208
Bearbeitungen
Research Institute for Symbolic Computation: Unterschied zwischen den Versionen
Research Institute for Symbolic Computation (Quelltext anzeigen)
Version vom 9. Januar 2015, 10:03 Uhr
, 9. Januar 2015keine Bearbeitungszusammenfassung
K (49 Versionen: von Marjorie-Wiki Österreich betreffend) |
KKeine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
Das '''Research Institute for Symbolic Computation''', kurz '''RISC''' (''Institut für Symbolisches Rechnen'') ist ein Forschungsinstitut der [[Johannes Kepler Universität Linz|Johannes-Kepler-Universität Linz]]. Es ist im [[Softwarepark Hagenberg]] in [[Hagenberg im Mühlkreis]], Oberösterreich, angesiedelt. | Das '''Research Institute for Symbolic Computation''', kurz '''RISC''' (''Institut für Symbolisches Rechnen'') ist ein Forschungsinstitut der [[w:Johannes Kepler Universität Linz|Johannes-Kepler-Universität Linz]]. Es ist im [[w:Softwarepark Hagenberg|Softwarepark Hagenberg]] in [[Hagenberg im Mühlkreis]], Oberösterreich, angesiedelt. | ||
Das RISC-Linz wurde 1987 von [[Bruno Buchberger]] gegründet und wird derzeit von [[Peter Paule]] geleitet. | Das RISC-Linz wurde 1987 von [[w:Bruno Buchberger|Bruno Buchberger]] gegründet und wird derzeit von [[|w:Peter Paule|Peter Paule]] geleitet. | ||
== Institut == | == Institut == | ||
Das Research Institute for Symbolic Computation ist ein Institut der Johannes Kepler Universität (JKU) Linz, untergebracht im [[Schloss Hagenberg]], ca. 25 km nordöstlich von Linz gelegen. Das Institut wurde 1987 von [[Bruno Buchberger]] gegründet und wird zur Zeit von [[Peter Paule]]<ref>[http://www.risc.uni-linz.ac.at/about/news/newChairman.html RISC: Mitteilung vom 1. Oktober 2009 (in Englisch)]</ref> geleitet. Der Lehrkörper (faculty) zählt derzeit 16 Personen. | Das Research Institute for Symbolic Computation ist ein Institut der Johannes Kepler Universität (JKU) Linz, untergebracht im [[w:Schloss Hagenberg|Schloss Hagenberg]], ca. 25 km nordöstlich von Linz gelegen. Das Institut wurde 1987 von [[Bruno Buchberger]] gegründet und wird zur Zeit von [[Peter Paule]]<ref>[http://www.risc.uni-linz.ac.at/about/news/newChairman.html RISC: Mitteilung vom 1. Oktober 2009 (in Englisch)]</ref> geleitet. Der Lehrkörper (faculty) zählt derzeit 16 Personen. | ||
Die Kernkompetenz des RISC ist das Symbolische Rechnen (Symbolic Computation). Dieser Forschungsbereich ist an der Schnittstelle zwischen Mathematik und Informatik angesiedelt und integriert theoretische Grundlagen aus Mathematik, Logik und [[Algorithmus|Algorithmen]] mit deren Implementierung in Softwaresystemen und entsprechenden praktischen Anwendungen. Erforschung, Lehre und industrielle Anwendungen des Symbolischen Rechnens werden am RISC als drei Facetten einer Kreativitätsspirale angesehen, die sich gegenseitig stimulieren. | Die Kernkompetenz des RISC ist das Symbolische Rechnen (Symbolic Computation). Dieser Forschungsbereich ist an der Schnittstelle zwischen Mathematik und Informatik angesiedelt und integriert theoretische Grundlagen aus Mathematik, Logik und [[Algorithmus|Algorithmen]] mit deren Implementierung in Softwaresystemen und entsprechenden praktischen Anwendungen. Erforschung, Lehre und industrielle Anwendungen des Symbolischen Rechnens werden am RISC als drei Facetten einer Kreativitätsspirale angesehen, die sich gegenseitig stimulieren. | ||
| Zeile 20: | Zeile 20: | ||
Das RISC unterhält ein Netzwerk von Kooperationen mit Industriepartnern aus dem IKT-Sektor und Unternehmen aus den Bereichen Naturwissenschaft und Technik. Die RISC Software GmbH, gegründet vom Institut und nun im Eigentum der JKU, entwickelt Software für Analyse und Simulation, Modellierung und Optimierung, Telematik, sowie Medizininformatik. | Das RISC unterhält ein Netzwerk von Kooperationen mit Industriepartnern aus dem IKT-Sektor und Unternehmen aus den Bereichen Naturwissenschaft und Technik. Die RISC Software GmbH, gegründet vom Institut und nun im Eigentum der JKU, entwickelt Software für Analyse und Simulation, Modellierung und Optimierung, Telematik, sowie Medizininformatik. | ||
Zu den Initiativen des RISC zählen im wissenschaftlichen Grundlagenbereich das Journal of Symbolic Computation (publiziert von Elsevier), im industriellen Anwendungsbereich der Softwarepark Hagenberg (ein Technologiepark mit ca. 40 Unternehmen und knapp 1000 Arbeitsplätzen im Bereich IKT), und in der Lehre die Fachhochschule Hagenberg (mit 9 Studiengängen in IKT und ca. 1300 Studierenden). Auch das [[Software Competence Center Hagenberg]] (SCCH), in dessen Rahmen Forschungs- und Entwicklungsprojekte gemeinsam von Universitätsinstituten und industriellen Partnern durchgeführt werden, wurde wesentlich von RISC mit begründet. | Zu den Initiativen des RISC zählen im wissenschaftlichen Grundlagenbereich das Journal of Symbolic Computation (publiziert von Elsevier), im industriellen Anwendungsbereich der Softwarepark Hagenberg (ein Technologiepark mit ca. 40 Unternehmen und knapp 1000 Arbeitsplätzen im Bereich IKT), und in der Lehre die Fachhochschule Hagenberg (mit 9 Studiengängen in IKT und ca. 1300 Studierenden). Auch das [[w:Software Competence Center Hagenberg|Software Competence Center Hagenberg]] (SCCH), in dessen Rahmen Forschungs- und Entwicklungsprojekte gemeinsam von Universitätsinstituten und industriellen Partnern durchgeführt werden, wurde wesentlich von RISC mit begründet. | ||
== Einzelnachweise == | == Einzelnachweise == | ||
| Zeile 34: | Zeile 34: | ||
[[Kategorie:Forschungsinstitut in Österreich|Symbolic Computation]] | [[Kategorie:Forschungsinstitut in Österreich|Symbolic Computation]] | ||
[[Kategorie:Forschungseinrichtung (Informatik)]] | [[Kategorie:Forschungseinrichtung (Informatik)]] | ||