No bio yet
www.certik.org
Work at the intersection of compilers and blockchain security as a Solidity Compiler Frontend Engineer, building parsing, AST, and semantic analysis components that integrate with formal verification tools.