• zur Hauptnavigation springen
  • zum Inhaltsbereich springen
University of Bamberg
open search form
You are here
  • Homepage University of Bamberg
  • Faculties
  • Information Systems and Applied Computer Sciences
  • Subject groups
  • Computer Science
  • Software Technologies Research Group
  • Team
  University of Bamberg
  • English
  • Deutsch

Information Systems and Applied Computer Sciences

Software Technologies Research Group

  1.  University of bamberg
  2. Faculties
  3. Information Systems and Applied Computer Sciences
  4. Subject groups
  5. Computer Science
  6. Software Technologies Research Group
  7. Team
Website section:

Information Systems and Applied Computer Sciences

Software Technologies Research Group

TODO
  • English
  • Deutsch
  • Studies
    • Bachelor-Level Teaching
    • Master-Level Teaching
    • Degree Theses
  • Research
    • Automatic Verification and Synthesis for Asynchronous Systems of Components
    • Heterogeneous Software Specification
    • Identifying and Analyzing Pointer-based Dynamic Data Structures
  • Transfer
  • News
  • Team
    • Prof. Dr. Gerald Lüttgen
    • Katja Blauel
    • Corinna Feldberger
    • Jan Boockmann, M.Sc.
    • Kerstin Jacob, M.Sc.
    • Bernhard Luedtke, M.Sc.
    • Dr. Jin Woo Ro
    • Dr. Eugene Yip
    • Former Staff
  • SWT Webinar Series
  • Contact

Team

Head

Prof. Dr. Gerald Lüttgen

Assistance

Katja Blauel

Administrative Staff

Corinna Feldberger

Scientific Staff

  • Jan Boockmann, M.Sc.
  • Kerstin Jacob, M.Sc.
  • Bernhard Luedtke, M.Sc.
  • Dr. Jin Woo Ro
  • Dr. Eugene Yip

Guest Lecturers

  • Dr. Alexander Kraas

Student Assistants

  • Evelyn Fradtschuk
  • Jochen Mehlich

Former Staff

News

  • use our RSS feed
  • What is RSS?

Registration for the examination in Winter Semester 2022/23

10/10/2022

SWT Webinar Series

05/07/2021

SWTbahn: Model Railway Progress

05/03/2021

Girls’ Day 2021: The Sudoku Challenge

04/22/2021

New Bachelor Module on Reactive Systems Design

04/12/2021

View all

Page 31949, modified January 13, 2023

    Online Services

    • FIS (Research Information System)
    • FlexNow2
    • Portal for Students and Applicants of Master’s Degree Programmes
    • Office 365
    • University Library Catalogue
    • Webmail:
      mailex.uni-bamberg.de
      365.uni-bamberg.de

    Main Menu

    • University
    • Faculties
    • Administration & Institutions
    • Studies
    • Research
    • International

    Contact

    University of Bamberg
    Kapuzinerstraße 16
    D-96047 Bamberg

    Phone: +49 951 863-0
    Email: post(at)uni-bamberg.de

    Follow us

    FacebookInstagramTwitter
    Subscribe to newsletter