Conferences
Short description of portfolio item number 1
Posts by Collection
conferences
publications
talks
Verification of Eth2.0 in Dafny
Published:
A youtube video with a presentation on our formal verification of the Eth2.0 specs. 
Verification of the Deposit Contract in Dafny
Published:
A youtube video with a presentation on our formal verification of the deposit contract. 
Open Problems in Rollups
Published:
A youtube video with a presentation on open problems in rollup technology. 
teaching
Algorithmic Verification
Under and Post graduate level, University of New South Wales, Computer Science Department, 2014
Teaching Years: 2012 to 2015.
Advanced Algorithms Design
Post Graduate (Master) Course, Macquarie University, Department of Computing, 2018
Teaching Years: 2014 to 2018.