Xiangan He

Xiangan Xiangan is an accomplished professional with a strong background in software engineering, cryptography, and blockchain development. Currently serving as a Webmaster at Internet Development Studio Company since January 2024, Xiangan also holds the position of Cryptography Associate at Trail of Bits, where the development of a formal verification tool for zero-knowledge circuits demonstrated exceptional performance. Previous roles include software engineering positions at Protocol Labs and Banyan Storage, where Xiangan developed APIs and implemented DeFi primitives, respectively. In addition, significant contributions as a Security Engineer at Veridise involved building automated formal verification tools and conducting security audits for major clients. A well-rounded education, including a Bachelor of Science degree at Boston College, complements Xiangan's hands-on experience across various esteemed companies in the tech industry.