zenly

Designed and implemented Ethereum/EVM security tooling for static analysis, vulnerability detection, and automated smart contract repair using Python, Solidity, and C/C++. Developed reproducible pipelines for dataset preparation, regression testing, behavioral-equivalence validation, and gas-cost benchmarking, enabling consistent evaluation across contract variants. Integrated Slither, Mythril, and Sailfish into unified workflows with differential testing, reducing false positives and improving robustness for both research prototypes and engineering deliverables. Collaborated with cross-functional research teams to build experiments, refine methodologies, and prepare artifacts for publications, presentations, and long-term project continuity.

Developed SPH-based simulation components in C/C++ and CUDA to study laser melting, heat transfer, and fluid–thermal dynamics under varying material and boundary conditions. Implemented and tuned numerical configurations to improve solver stability, reduce computational overhead, and support high-resolution simulation experiments. Analyzed simulation outputs using Tecplot, documented behavioral trends, and delivered findings that supported ongoing materials science modeling and iterative research design.