direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Dipl.-Math. Nils Berg

(formerly Jähnig)

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

Research Fields

  • Verification of low-level/unstructured code (with gotos)
  • Refinement (especially CSP)
  • Formalization in Isabelle/HOL
  • Publications [1]
  • Projects [2]
  • Teaching [3]

Contact

Nils Berg
+49 (30) 314 - 73419
Contact Hours: by appointment
Room TEL 1004
e-mail query [4]

Postal Address

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

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008