software dev
Projects
Polymer
GPT-assisted Solidity analyzer, helping to find security issues by suggesting areas to review, generating tests and using the Z3 SMT Solver to formally verify design.Solidity, JavaScript, Python, GPT, Z3Skills
Python
Solidity
JavaScript
Information Security