Software

Here is a list of some recent open-source software development I have been involved in:

Dafny projects

• Formal specification of the EVM in Dafny, DafnyEVM repo

• Specification and Verification of the Beacon Chain, link to git repo

• Specification and verification of the Incremental Merkle Tree algorithm link to git repo

Scala projects (not maintained anymore)

• Expect for Scala

• ScalaSMT

• Automat