IMVT-LVs

Auf dieser Seite finden sich die Kurzbeschreibungen der IMVT-Lehrveranstaltungen (Informatik Master Vertiefung Theoretische Informatik):

• Computational Geometry
• Finite and algorithmic model theory
• Hybrid Systems: Verification and Synthesis
• Sparsity - Graphs and algorithms
• Theorie der Sensorfusion
• Auswählbar sind im Modul IMVT außerdem die noch nicht belegten LV-Alternativen für IMAT.