• zur Hauptnavigation springen
  • zum Inhaltsbereich springen
Universit?t Bamberg
Suche ?ffnen
Sie befinden sich hier:
  • Startseite
  • Fakult?ten
  • Wirtschaftsinformatik und Angewandte Informatik
  • Professuren und Lehrstühle
  • Informatik
  • Lehrstuhl Softwaretechnik und Programmiersprachen
  • Forschung
  Universit?t Bamberg
  • Deutsch
  • English

Fakult?t Wirtschaftsinformatik und Angewandte Informatik

Lehrstuhl Softwaretechnik und Programmiersprachen

  1.  Otto-Friedrich-Universit?t Bamberg
  2. Fakult?ten
  3. Wirtschaftsinformatik und Angewandte Informatik
  4. Professuren und Lehrstühle
  5. Informatik
  6. Lehrstuhl Softwaretechnik und Programmiersprachen
  7. Forschung
Seitenbereich:

Fakult?t Wirtschaftsinformatik und Angewandte Informatik

Lehrstuhl Softwaretechnik und Programmiersprachen

  • Deutsch
  • English
  • Studium
    • Modulangebot für Bachelorstudierende
    • Modulangebot für Masterstudierende
    • Abschlussarbeiten
  • Forschung
    • Automatische Verifikation und Synthese Komponenten-basierter, asynchroner Systeme
    • Heterogene Software Spezifikation
    • Identifizieren und Analysieren von dynamischen Datenstrukturen
  • Transfer
  • News
  • Team
    • Prof. Dr. Gerald Lüttgen
    • Katja Blauel
    • Corinna Feldberger
    • Kerstin Jacob, M.Sc.
    • Bernhard Luedtke, M.Sc.
    • Ehemalige Mitarbeiter
  • SWT Webinar Series
  • 188bet亚洲体育备用_188体育平台-投注*官网

Interne Links

  • UnivIS-Seite des Lehrstuhls
  • VC-Kurs des Lehrstuhls

Externe Links

  • GitHub-Seite des Lehrstuhls
Learning Data Structure Behaviour from Executions of Pointer Programs
  • Foundations of Heterogeneous Specifications Using State Machines and Temporal Logic
  • News

    • RSS Feed abonnieren
    • Was ist RSS?

    Anmeldung zur Prüfung im SoSe 2025

    28.04.2025

    Anmeldung zur Prüfung im WiSe 2024/25

    17.10.2024

    Anmeldung zur Prüfung im SoSe 2024

    22.04.2024

    Anmeldung zur Prüfung im WiSe 2023/24

    19.10.2023

    Anmeldung zur Prüfung im SoSe 2023

    20.04.2023

    Bamberger Katalog (Universit?tsbibliothek)
  • FIS (Forschungsinformationssystem)
  • FlexNow2 für Studierende
  • FlexNow2 für Mitarbeitende
  • Intranet
  • Office 365
  • Online-Dienste
    (Studierendenkanzlei)
  • UnivIS
  • Uni-Webmail:
    https://mailex.uni-bamberg.de
    https://o365.uni-bamberg.de
  • Virtueller Campus
  • Wichtige Links

    • 188bet亚洲体育备用_188体育平台-投注*官网
    • ?ffnungszeiten
    • Prüfungsamt
    • IT-Service der Universit?t
    • Rückmeldung
    • Studierendenkanzlei
    • Universit?tsbibliothek
    • Vorlesungszeiten & Fristen
    • Studienangebot

    Uni Bamberg in leichter Sprache

    Zentraler 188bet亚洲体育备用_188体育平台-投注*官网

    Otto-Friedrich-Universit?t Bamberg
    Kapuzinerstra?e 16
    96047 Bamberg

    Telefon: 0951 863-0
    E-Mail: post(at)uni-bamberg.de

    • Unsere Netzwerke
    • Unsere Zertifikate

    Folgen Sie uns

    InstagramFacebookBlueskyToktok
    188bet亚洲体育备用_188体育平台-投注*官网