Modelle und Theorie Verteilter Systeme
Herzlich Willkommen bei MTV!

Modelle und Theorie Verteilter Systeme

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 MethodsSemanticsVerification 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.

News

  • Keynote bei SEFM 2022

    Uwe Nestmann ist Keynote Speaker bei der Internationalen Konferenz Software Engineering and Formal Methods (SEFM 2022).

  • Artikel akzeptiert bei DisCoTec-Konferenz FORTE 2022

    Der Artikel "Fault-Tolerant Multiparty Session Types" (Coautor:innen Kirstin Peters, Uwe Nestmann und Christoph Wagner) wurde zur Publikation bei der DisCoTec-Konferenz FORTE (Formal Techniques for Distributed...

  • 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...

  • 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.

Veranstaltungenskalender