Search for "Mike Sperber"

62 min

Getting software right with properties, generated tests, and proofs

Evolve your hack into robust software!

• Resilience & Sustainability Main
• 62 min
• 2019-12-29
• 1016
• Mike Sperber

36C3: Resource Exhaustion

59 min

How to teach programming to your loved ones

Enabling students over example-driven teaching

• 59 min
• 2018-12-28
• 7368
• Mike Sperber

35C3: Refreshing Memories

60 min

A farewell to soul-crushing code

Towards correct software that enriches our lives

• 60 min
• 2018-12-28
• 2012
• Mike Sperber and Nicole Rauch

35C3: Refreshing Memories

31 min

Growing Up Software Development

From Hacker Culture to the Software of the Future

• 31 min
• 2017-12-28
• 1774
• Mike Sperber

34C3: TUWAT