Woosun was inspired to start QED Audit after experiencing the power of LLMs firsthand while winning DARPA AI×CC as part of Team Atlanta. Prior to founding the company, he was a PhD student at Georgia Tech, worked in the blockchain security industry, and was a six-time DEF CON CTF finalist.

Yonghwi was inspired to join the company after winning DARPA AI×CC as part of Team Atlanta, applying LLM-driven analysis to blockchain security. He was previously a PhD student at Georgia Tech and a long-time participant in top-tier CTF competitions, including DEF CON CTF.

Gyejin works at the intersection of AI and cybersecurity. He was a member of Team Atlanta, winners of the DARPA AI×CC, where he helped pioneer AI-driven security. He brings technical expertise from Georgia Tech's PhD program and top-tier competitions including DEF CON, and his problem-solving journey began with Math Olympiad medals in South Korea.

Sunghyeon leverages AI to secure the cryptographic foundations of modern blockchains. A PhD student in cryptography at Georgia Tech specializing in zero-knowledge proofs, he brings world-class algorithmic expertise to the team as a Gold Medalist at the IOI and ICPC World Finals. He is a Codeforces Legendary Grandmaster with a peak rating of 3318.

Taesoo is a Full Professor at Georgia Tech and VP of Security Research at Microsoft. His work has been published at top-tier venues including SOSP and USENIX Security, with industry impact through Pwn2Own and DEF CON CTF. He led Team Atlanta, the DARPA AI×CC 1st-place team, and continues this work by helping QED Audit apply AI to crack complex blockchain programs at scale.