Search for "Peter Sewell"

Why are computers so @#!*, and what can we do about it?

• 59 min
• 2014-12-30
• 7669
• Peter Sewell

Taming the Chaos: Can we build systems that actually work?

Possible paths from today's ghastly hackery to what…

• 58 min
• 2018-12-27
• 2331
• Peter Sewell

Trustworthy secure modular operating system engineering

fun(ctional) operating system and security protocol…

• 61 min
• 2014-12-27
• 2739
• hannes and David Kaloper

Open Source Orgelbau

• 37 min
• 2018-03-31
• 570
• Benjamin Wand