direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Dipl.-Math. Nils Jähnig

Email: nils.jaehnig(at)tu-berlin.de

Raum: TEL 1004
Telefon: +49 (30) 314 - 73419
Fax: +49 (30) 314 - 78866

Sprechstunde: nach Vereinbarung

Arbeitsgebiete

  • Verifikation von low-level/unstrukturiertem Code (mit gotos)
  • Refinement (insbesondere CSP)
  • Formalisierung in Isabelle/HOL

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Kontakt

Nils Jähnig
314 - 73419
Sprechstunde: nach Vereinbarung
Raum TEL 1004

Postanschrift

Technische Universität Berlin
Fachgebiet Software and
Embedded Systems Engineering
Sekr. TEL 12-4
Ernst-Reuter-Platz 7
10587 Berlin