Alex

@alexanderlhicks.com

Working on formal verification & AI at Ethereum. verified-zkevm.org