Projects
Built a dual-layer analysis system combining SMT-based semantic checking and Slither static analyzer for comprehensive vulnerability detection.
Developed a script-based interface for streamlined usage within smart contract development pipelines.
Tools used: Z3-Solver, Slither, Python
Developed tools to optimize Dockerfiles, achieving up to 50% reduction in image size and a 10% increase in application performance.
Enhancements led to faster builds, improved deployment efficiency, and easier management, all while maintaining full functionality
Tools used: C#, .NET
Built a custom data scraper using Selenium, enabling automated extraction of business data from Google Maps
Designed the tool to be configurable for different locations and search terms, supporting scalable and repeatable data gathering processes.
Tools used: JavaScript, Selenium