Wir offerieren Bologna-Module sowohl auf Bachelor- als auch auf Master-Niveau. Dabei werden die in Mission und Vision genannten Aspekte konsequent auch in der Lehre umgesetzt. Im Bachelor werden dazu in Pflicht- und Wahlpflicht-Modulen die formalen und inhaltlichen Grundlagen gelegt. Im Master werden sowohl Syntax-basierte als auch Automaten-basierte Modelle und Theorien vertieft und praktiziert, um insbesondere auf Verteilte Algorithmen angewendet zu werden. Ein Blockkurs zum Einsatz eines interaktiven Theorembeweisers rundet das Programm ab. 

• Alle aktuellen Modulbeschreibungen sind in Moses hinterlegt.
• Für jedes MTV-Modul findet sich in Module eine eigene Info-Seite.
• MTV-Veranstaltungen bietet Semester-orientierte Übersichten.
• Räume/Termine finden sich im Vorlesungsverzeichnis (VV).
• Details zu den aktuellen Durchführungen stehen auf den jeweiligen ISIS-Seiten.

Nachfragen in Sachen Lehre können per Email an lehre@mtv.tu-berlin.de gerichtet werden, die von mindestens drei Personen gelesen wird. Alle an der Lehre beteiligten Mitarbeiter_innen bieten zudem Sprechstunden an, die auf den jeweiligen persönlichen Seiten im Team-Bereich nachgeschlagen werden können.