Hauptnavigation
Inhalt
RPTU
Fachbereich Informatik
Lehrstuhl Softwaretechnik
Suchbegriff
Hauptnavigation
Lehrstuhl Softwaretechnik
Team
Team
Team
Übersicht
Annette Bieniusa
Claudia Schwager
Thomas Schneider
Elena Yanakieva
Philipp Lersch
Arnd Poetzsch-Heffter
Former Members
Patrick Michel
Christoph Feller
Yannick Welsch
Ilham Kurnia
Houssam Abdoullah
Malte Brunnlieb
Thomas Fischer
Thomas Grundmann
Gabriele Weiler
Jean Marie Gaillourdet
Kathrin Geilmann
Nicole Rauch
Marek Gawkowski
Sebastian Schlosser
Mathias Weber
Deepthi Akkoorath
Jan Schäfer
Markus Reitz
Peter Zeller
Lehre
Lehre
Lehre
WS 25/26
Programmierpraktikum
Bachelor/Master Project
Verification with the Rocq Proof Assistant
Compiler and Language-Processing Tools
Bachelor- und Masterarbeiten
SS 25
Programming Distributed Systems
Bachelor/Master Seminar
Programmierpraktikum
WS 24/25
Bachelor/Master Project: Software Technology
SS 24
Programmierpraktikum
Bachelor/Master Seminar
Programming Distributed Systems
WS 23/24
Replication and Consistency
Bachelor/Master Project: Software Technology
SS 23
Programming Distributed Systems
Lecture: Verification with the Coq Proof Assistant
Bachelor/Master Project: Software Technology
WS 22/23
Compiler and Language Processing Tools
Bachelor/Master Seminar
Forschung
Publikationen
Deutsch
Lehrstuhl Softwaretechnik
Lehrstuhl Softwaretechnik
Lehre
WS 25/26
Bachelor/Master Project
Bachelor/Master Project: Softwaretechnik (Winterterm 2025)
All infos about the project and registration can be found in the
Olat course.