Home / Discover / People
  • Created November 13, 2019 by
    Administrator admin
  • Modified September 29, 2021 by
    Administrator admin

Director

Episode Chaos Communication Congress
How to teach programming to your loved ones
2018
Episode Chaos Communication Congress
A farewell to soul-crushing code
2018

Creator

Episode Chaos Communication Congress
Getting software right with properties, generated tests, and proofs
2019