Senior Research Engineer @ Runtime Verification Inc. working on formal modeling and verification of blockchain and distributed systems
This is a page not in the menu. You can use markdown in this page.
