I have a strong interest in blockchain development and security, particularly in the development and utilization of tools for smart contract security, such as formal verification and fuzz testing.