KIT - Karlsruher Institut für Technologie
Institut für Angewandte Informatik und Formale Beschreibungsverfahren
  • Navigation überspringen
  • Home
  • Impressum
  • Datenschutz
  • Barrierefreiheit
  • Sitemap
  • KIT
  • en
suchen
  • News
  • Wir über uns
    • Wir über uns
    Wir über uns
    • Forschungsgruppen
    • Ehemalige Forschungsgruppen
    • 50 Jahre AIFB
    • Themenhefte
    • Adresse/Anfahrt
  • Team
  • Forschung
    • Forschung
    Forschung
    • Projekte
    • Publikationen
  • Studium und Lehre
    • Studium und Lehre
    Studium und Lehre
    • Lehrangebot
      • Lehrangebot
      Lehrangebot
      • Vorlesungen
      • Seminare
      • Praktika
    • Prüfungsangebot
    • Abschlussarbeiten
    • Anerkennung von Studien- und Prüfungsleistungen
    • Häufig gestellte Fragen
    • Kontakt
  • Karriere
  • Intranet
    • Intranet
    Intranet
    • Lehre und Prüfung
      • Lehre und Prüfung
      Lehre und Prüfung
      • Druckauftrag für Klausuren
      • Hörsaalpläne für Klausuraufsicht
      • externe Abschlussarbeiten
      • Verwaltung von Abschlussarbeiten im Campus-System
    • IT-Infrastruktur
      • IT-Infrastruktur
      IT-Infrastruktur
      • Dienste des AIFB / SCC / DFN
      • Drucker und Kopierer
        • Drucker und Kopierer
        Drucker und Kopierer
        • Drucker unter Linux einrichten
        • Drucker unter MacOS einrichten
        • Drucker unter Windows einrichten
        • Geschützter Druck
      • Einkauf von Hardware, Software und IT-Dienstleistungen
      • Netzwerkzugang
      • Raumbuchung
    • OpenText-Vorlagen
      • OpenText-Vorlagen
      OpenText-Vorlagen
      • News
      • Team
      • Projekte
      • Abschlussarbeiten
      • Stellenausschreibungen
    • Vorlagen und Formulare
    • Zugangsberechtigungen
  • Startseite
  • Home
  • Impressum
  • Datenschutz
  • Barrierefreiheit
  • Sitemap
  • suchen
  • Campusplan Campusplan
Institut für Angewandte Informatik und Formale Beschreibungsverfahren

 

  • Startseite
  • Studium und Lehre
  • Lehrangebot
  • Vorlesungen

 

  • Startseite
    • News
    • Wir über uns
    • Team
    • Forschung
    • Studium und Lehre
    • Karriere
    • Intranet
  • Studium und Lehre
    • Lehrangebot
    • Prüfungsangebot
    • Abschlussarbeiten
    • Anerkennung von Studien- und Prüfungsleistungen
    • Häufig gestellte Fragen
    • Kontakt
  • Lehrangebot
    • Vorlesungen
    • Seminare
    • Praktika
  • Vorlesungen

Unser Vorlesungsangebot

in den Bachelor- und Masterstudiengängen 

Vorlesungen
  • Vorlesungen im Wintersemester
  • Vorlesungen im Sommersemester
Vorlesungen im Wintersemester
Titel Typ Semester Dozent
Knowledge Discovery, Graph Neural Networks, and Language Models Vorlesung / Übung (VÜ) WS 25/26 Dr.-Ing. Tobias Käfer
Chen Shao
Kristian Noullet
Lukas Kubelka
Programmierung kommerzieller Systeme - Einsatz betrieblicher Standardsoftware Vorlesung (V) WS 25/26 Dr.-Ing. Meike Ullrich
Programmieren I: Java Vorlesung (V) WS 25/26 Prof. Dr.-Ing. Johann Marius Zöllner
Modellierung von Geschäftsprozessen Vorlesung (V) WS 25/26 Prof. Dr. Andreas Oberweis
Maschinelles Lernen 1 - Grundverfahren Vorlesung (V) WS 25/26 Prof. Dr.-Ing. Johann Marius Zöllner
Human Factors in Autonomous Driving Vorlesung (V) WS 25/26 Prof. Dr. Alexey Vinel
Manuel Bied
Dr. Maximilian Schrapel
Grundlagen der Informatik II Vorlesung (V) WS 25/26 Prof. Dr. Sanja Lazarova-Molnar
Computational Economics Vorlesung (V) WS 25/26 Prof. Dr. Pradyumn Kumar Shukla
Angewandte Informatik - Modellierung Vorlesung (V) WS 25/26 Andreas Fritsch
Angewandte Informatik - Anwendungen der Künstlichen Intelligenz Vorlesung (V) WS 25/26 Dr.-Ing. Tobias Käfer
Lukas Kinder
Yuyang Li
Vorlesungen im Sommersemester
Titel Typ Semester Dozent
Software-Qualitätsmanagement Vorlesung (V) SS 2026 Prof. Dr. Andreas Oberweis
Semantic Web Technologies Vorlesung (V) SS 2026 Dr.-Ing. Tobias Käfer
Christoph Braun
Lukas Kubelka
Programmierung kommerzieller Systeme - Anwendungen in Netzen mit Java Vorlesung (V) SS 2026 Prof. Dr. Dietmar Ratz
Process Mining Vorlesung (V) SS 2026 Dr.-Ing. Clemens Schreiber
Nature-Inspired Optimization Methods Vorlesung (V) SS 2026 Prof. Dr. Pradyumn Kumar Shukla
Maschinelles Lernen 2 - Fortgeschrittene Verfahren Vorlesung (V) SS 2026 Prof. Dr.-Ing. Johann Marius Zöllner
Marcus Fechner
Nikolai Polley
Philipp Stegmaier
Knowledge-driven Artificial Intelligence Vorlesung (V) SS 2026 Prof. Dr. Harald Sack
Marziah Malakzadeh Mahani
Rafael Patronilo
Shiva Nahani
Dr. Dilek Yargan
Amel Gader
IT-Projektmanagement Vorlesung (V) SS 2026 Sascha Alpers
Grundlagen der Informatik I Vorlesung (V) SS 2026 Dr.-Ing. Tobias Käfer
Cooperative Autonomous Vehicles Vorlesung (V) SS 2026 Prof. Dr. Alexey Vinel
Collective Perception in Autonomous Driving Vorlesung (V) SS 2026 Dr. Manuel Bied
Prof. Dr. Alexey Vinel
Dr. Jianxin Zhao
Angewandte Informatik - Cybersicherheit Vorlesung (V) SS 2026 Prof. Dr. Melanie Volkamer
Angewandte Informatik - Mobile Computing Vorlesung (V) SS 2026 Dr.-Ing. Gunther Schiefer
Angewandte Informatik - Datenbanksysteme Vorlesung (V) SS 2026 Dr. Daniel Sommer
Advanced Topics in Digital Twins Vorlesung (V) SS 2026 Prof. Dr.-Ing. Sanja Lazarova-Molnar

Institut für Angewandte Informatik und Formale Beschreibungsverfahren

Karlsruher Institut für Technologie
Kollegiengebäude am Kronenplatz (Geb. 05.20)
Kaiserstr. 89
76133 Karlsruhe
Deutschland

letzte Änderung: 02.04.2026
KIT – Die Universität in der Helmholtz-Gemeinschaft
  • Home
  • Impressum
  • Datenschutz
  • Barrierefreiheit
  • Sitemap
  • KIT