Conferences
Short description of portfolio item number 1
Short description of portfolio item number 1
Published:
A youtube video with a presentation on our formal verification of the Eth2.0 specs.
Published:
A youtube video with a presentation on our formal verification of the deposit contract.
Published:
A youtube video with a presentation on open problems in rollup technology.
Under and Post graduate level, University of New South Wales, Computer Science Department, 2014
Teaching Years: 2012 to 2015.
Post Graduate (Master) Course, Macquarie University, Department of Computing, 2018
Teaching Years: 2014 to 2018.