TU Berlin

Software and Embedded Systems EngineeringNils Berg

SESE-Logo in blau

Page Content

to Navigation

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

Navigation

Quick Access

Schnellnavigation zur Seite über Nummerneingabe