ÂÜÀòÂÒÂ×

Philip Daian has worked with runtime verification technology in various capacities at both the FSL and RV, Inc. He is now pursuing his Ph.D. in Computer Science at Cornell University with a concentration in systems, where his intended thesis focuses on smart contract security. He is currently involved in several ongoing research projects on smart contract security, provides audit services to the broader smart contract community, and maintains a blog on related topics.