Leistungen

• Lehre.
• Forschung.
• Transfer.
• Team.

Hauptnavigation

• Universität.
• Fakultäten.
• Wirtschaftsinformatik und Angewandte Informatik.
• Fächer/Lehrstühle.
• Informatik.

• Grundlagen der Informatik.
• Professur für Informatik - KTR.
• Lehrstuhl für Praktische Informatik.
• Lehrstuhl für Softwaretechnik und Programmiersprachen.

Lehrstuhl für Softwaretechnik und Programmiersprachen

Der Lehrstuhl für Softwaretechnik und Programmiersprachen wurde im April 2009 innerhalb der Fachgruppe Informatik der Fakultät für Wirtschaftsinformatik und Angewandte Informatik an der Universität Bamberg eingerichtet. Sowohl die Ausrichtung seiner Forschung als auch das Lehrstuhlteam, unter Leitung von Prof. Dr. Gerald Lüttgen, sind international.

Die Forschung des Lehrstuhls konzentriert sich z.Zt. auf automatische Techniken zur Softwareverifikation, formale Methoden zum Softwaredesign, synchrone Entwurfs- und Programmiersprachen (insb. Statecharts und Esterel), und Ansätze zur parallelen Programmierung für Mehrkernarchitekturen. Ein Anwendungsschwerpunkt sind reaktive, oft eingebettete Systeme. Eine weitere Kompetenz des Lehrstuhls ist das Requirements Engineering.

Die Lehre des Lehrstuhls wird wesentlich durch seine Forschung beeinflusst und umfasst z.Zt. die Module Softwaretechnik, Requirements Engineering, Compilerbau, Parallele Programmierung und Automatische Verifikation, mit dazugehörigen Seminaren, Praktika und Abschlussarbeiten.

Ein weiteres Interesse des Lehrstuhls ist die Förderung des Technologietransfers durch eine Zusammenarbeit mit regionalen, überregionalen und internationalen Firmen, im Rahmen von Beratungen, Schulungen oder gemeinsamen Projekten.