Peter Sewell: Underpinning mainstream engineering with mathematical semantics

(1:25:43)

Post office inquiry: Fujitsu manager called bankrupted subpostmaster 'nasty chap'

(3:12)

Peter Sewell - Donna Munro - Day 107 PM (18 January 2024) - Post Office Horizon IT Inquiry

(2:18:35)

Prof. Peter Sewell | Wrestling with real systems

(1:6:10)

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

(35:1econd)

CPP 2021 Invited Talk by Peter Sewell: Underpinning the Foundations

(42:40)

Peter Sewell: Engineering with logic: the foundations of mainstream industry systems

(36:35)

Talking Toughness with Alessia Mevoli and Peter Sewell (Part One)

(28:)

Prof. Peter Sewell | Big Specification Organisation and Adoption: Successes, Failures, Risks, and...

(32:3)

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

(59:15)

Sgt. Peter Sewell

(2:11)

ICFP 2012 Weds keynote. Peter Sewell: Tales from the jungle.

(59:59)

Talking Toughness with Alessia Mevoli and Peter Sewell (Part Two)

(24:30)

Parnell Eco-Bite: Creating A Positive Outcome For Our Environment | Peter Sewell 🏗️

(20:36)

2017 Unsung Heroes of Wisconsin's Legal Community - Peter Sewell

(1:13)

Multiprocessor behaviour - what can't you rely on? - Peter Sewell

(58:38)

Peter Sewell: Why are computers so @#!*, and what can we do about it? (deutsche Übersetzung)

(59:15)

Peter Sewell, Managing Director at Sterling Mobility

(27:42)

Former Fujitsu manager calls errors a ‘contractual problem’ in Post Office scandal inquiry

(1:3)