Institute for Software Systems
Institute for Software Systems
EN
DE
EN
DE
Institute
Institute
Institute
Institute
Prof. Dr. Sibylle Schupp
People
Former members
Former Tutors
News
Research
Research
Research
Research
Model Checking & Abstract Interpretation
Programming Languages & Program Reconstruction
Data Protection & Machine Learning
Publications
Lectures
Lectures
Lectures
Lectures
Oberseminar / Research Seminar
STS-Schedule
Courses
Previous terms
Student theses
Student theses
Student theses
Student theses
Thesis projects
FAQ Thesis projects
Contact
Contact
Contact
Contact
People
Reaching STS
Service
Service
Service
Service
Infos and dates
Datenschutz
Education
STS-Schulprojekte
STS-Logo
Sitemap
STS >
Lectures >
Courses
Courses
Modules (Bachelor)
To follow the links below, you need to log in to StudIP.
Compiler Construction
Functional Programming
Software Development
Software Engineering
Seminars (Bachelor, Module "Seminars Computer Science and Mathematics")
Modules (Master)
To follow the links below, you need to log in to StudIP.
Intelligent Autonomous Agents and Cognitive Robotics
Machine Learning and Data Mining
Software Verification
Software Testing
Research Project and Seminar
(Master level)