Open Problems in Rollups
Talk, Ethereum Engineering Group Meetup, Sydney, Australia
A youtube video with a presentation on open problems in rollup technology. 
Talks
Verification of the Deposit Contract in Dafny
Talk, Ethereum Engineering Group Meetup, Sydney, Australia
A youtube video with a presentation on our formal verification of the deposit contract. 
Verification of Eth2.0 in Dafny
Talk, Ethereum Engineering Group Meetup, Sydney, Australia
A youtube video with a presentation on our formal verification of the Eth2.0 specs. 