Studienführer Informatik - Friedrich-Alexander-Universität Erlangen ...

Informatik 8 Theoretische InformatikMartensstraße 3, 91058 Erlangen, Sekretariat Raum 11.158Tel. 85-64057, Fax 85-64055, Email: gabriele.schoenberger@fau.dewww8.informatik.uni-erlangen.deProf. Dr. Lutz SchröderLogik-basierte Wissensrepräsentation; Softwarespezifikation und -verifikation; Modallogik in der Informatik,insbesondere koalgebraische Logik; Unsicherheit, Vagheit und Defaults; Programmlogiken und Semantikvon Programmiersprachen, insbesondere monadische Programmierung und Semantik von Iterationund Rekursion; koalgebraische Semantik nebenläufiger Systeme.Informatik 9 Graphische DatenverarbeitungCauerstraße 11, 91058 Erlangen, Sekretariat Raum 01.144Tel. 85-29919, Fax 85-29931, Email sekretariat@i9.informatik.uni-erlangen.dewww9.informatik.uni-erlangen.deProf. Dr. Günther GreinerProf. Dr. Marc StammingerGeometrische Modellierung, Echtzeit-Design von Gleitsichtgläsern nach individueller Spezifikation, hochqualitativeVisualisierung von Reflexionslinien and CAD-Flächen, interpolierende Sqrt(3)-Subdivision, Optimierungvon 3D Triangulierungen mittels diskreter Krümmungsanalyse, Parametrisierung von Triangulierungen,quadrilaterales Remeshing und Flächenrekonstruktionen, Qualitätssicherung in der Außenhautkonstruktiondurch Oberflächenvisualisierung, Rekonstruktion glatter Flächen aus diskreten Daten; Bildanalyse,effiziente Lichtfeld-Darstellung mit Hilfe von Tiefeninformation, automatische Aufnahme und Darstellungvon Lichtfeldern, effiziente Darstellung von Punktrepräsentationen; Visualisierung, automatischeAnpassung von Transferfunktionen, funktionelle Analyse der Wirbelsäule, Fusion medizinischer Videobildermit tomographischen Volumendaten, interaktive Volumenvisualisierung, modellbasierte Registrierungzur Simulation und Visualisierung, stream-orientierter Datentransport zur Visualisierung zeitabhängigerVolumendaten; Post- und Preprocessing für Simulationen, objektorientiertes Framework für Visualisierungin integrierten Simulationsumgebungen, paralleles Rendering für CFD Simulation und Computational SteeringSysteme.Informatik 10 SystemsimulationCauerstraße 11, 91058 Erlangen, Sekretariat Raum 00.144Tel. 85-28923, Fax 85-28928, Email: contact@i10.informatik.uni-erlangen.dewww10.informatik.uni-erlangen.deProf. Dr. Ulrich RüdeProf. Dr. Christoph PflaumDer Lehrstuhl für Systemsimulation beschäftigt sich mit der Modellierung, effizienten Simulation und Optimierungkomplexer Systeme in Wissenschaft und Technik. Im Mittelpunkt stehen dabei das Design unddie Analyse von Algorithmen und Werkzeugen für diese Zwecke. Der Lehrstuhl untergliedert sich hierzu indie Arbeitsgruppen "Hochleistungsrechnen", "Algorithmen für Simulation", "Komplexe Strömungen" und"Lasersimulation". Konkrete Anwendungsprojekte sind die numerische Simulation von Strömungen unddie Simulation von optischen Wellen in Lasern oder Solarzellen.10