• Characterizing P4 source code for Patchability. Lily Hügerich (BSc, defended)
  • P4 Verification with Machine Learning. Kevin Nico Hudemann (MSc, defended)
  • Towards Verifying P4 programs. Zsolt Vági (MSc, defended).
  • Towards Consistent P4 enabled-SDNs. Seifeddine Fathalli (MSc, defended).
  • Investigating Traceback Mechanisms in SDN. Said Jawad Saidi (MSc, defended). (Awarded Best Master thesis in TU Berlin.)
  • Scalable Automatic Topology Generation in SDN. Mengchen Shi (Msc, defended).
  • Network Updates in SDN. André Schütze (BSc, defended).
  • Substrate-aware Abstractions in SDN. Kin Tsun Chiu (MSc, defended).