direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Willkommen bei MTV

MTV ist eines von drei Fachgebieten, die an der TU Berlin die Theoretische Informatik repräsentieren: Während Algorithmik und Komplexitätstheorie (AKT) und Logik und Semantik (LaS) nach den eher klassischen Bereichen benannt sind, liegt MTV eher quer zu diesen und fokussiert sich auf theoretische Fragestellungen im praktischen Bereich der Verteilten Systeme. Unsere Hauptdisziplin ist Concurrency Theory, mit Anwendungen aus den Disziplinen Distributed Computing/Algorithms und Concurrent Computing. Daneben spielen auch die Bereiche Formal Methods, Semantics, Verification und sogar Type Theory eine prominente Rolle für uns. MTV vertritt diese Themen natürlich sowohl in der Forschung als auch in der Lehre.

Die Struktur dieses Webauftritts wird hier genauer erklärt.

Aktuelles

  • CONCUR Test-of-Time Award

    Der Artikel "Decoding Choice Encodings" von Uwe Nestmann und Benjamin C. Pierce aus dem Jahr 1996 erhält 25 Jahre nach seiner Publikation einen CONCUR Test-of-Time Award.

  • Sprechstunde bei Prof. Nestmann

    Bis auf Weiteres werden Sprechstunden nach individueller Vereinbarung (per Email oder Kontaktseite) via Videokonferenz (Jitsi oder Zoom) angeboten.

  • Sekretariat

    Milena Konteva wechselt zum 1.3.2021 in das Institut für Mathematik. Vorübergehend verbleibt Jana Pilz die einzige Ansprechpartnerin im MTV-Sekretariat. Emails an <sekretariat@mtv.tu-berlin.de> werden nach wie vor...

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Hilfsfunktionen

Mitteilungen, sortiert

Sekretariat

Jana Pilz
Raum TEL 711
Tel.: +49 30 314-29089
Fax: +49 30 314-73750

Öffnungszeiten:
Mo-Do 10:00-12:00 Uhr

Postanschrift

Technische Universität Berlin
Modelle und Theorie Verteilter Systeme
Fakultät IV
Sekr. TEL 7-2
Ernst-Reuter-Platz 7
10587 Berlin