Inhalt des Dokuments
zur Navigation
Aktuelles
-
Sekretariat neu besetzt
Christin Rost ist ab Mai 2021 halbtags in unserem Sekretariat tätig. Zusammen mit Jana Pilz ist sie Ansprechpartnerin für MTV-Belange. Emails an <sekretariat@mtv.tu-berlin.de> kommen aufgrund der IT-Angriffs vorerst aber...
-
Sprechstunde bei Prof. Nestmann
Bis auf Weiteres werden Sprechstunden nach individueller Vereinbarung (per Email oder Kontaktseite) via Videokonferenz (Jitsi oder Zoom) angeboten.
MTV @ TUB
Zunächst wurde stellvertretend für den damaligen Titel Theoretische Informatik / Theorie Verteilter Systeme das Acronym TVS verwendet. Um jedoch Verwechslungen mit dem damals benachbarten Fachgebiet TFS (Theoretische Informatik / Formale Spezifikation) zu vermeiden, haben wir uns für MTV entschieden. Das M steht dabei für Modelle, aber auch für Mathematik. Das V interpretieren wir im Übrigen auch als Verifikation; dann macht das Akronym auch auf Englisch Sinn. Mehr dazu auf der Seite Mission & Vision.
Seit Herbst 2011 trägt das Fachgebiet MTV nun auch offiziell seine intendierte Bezeichnung Modelle und Theorie Verteilter Systeme.