TU Berlin

Software and Embedded Systems EngineeringNils Berg

SESE-Logo in blau

Inhalt des Dokuments

zur Navigation

Dipl.-Math. Nils Berg

(geb. Jähnig)

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

Arbeitsgebiete

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

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe