全线护航，成就不凡

Thomas L. Kempner Professor and Chair of Computer Science Department at Yale University. Ph.D. in Computer Science from Princeton University. Leading figure in research fields such as cybersecurity, operating systems, and certified software. Shao and his Yale FLINT group have developed the world’s first hacker-resistant and concurrent operating system – CertiKOS.

Associate Professor of Computer Science at Columbia University. Ph.D. in Computer Science from Yale University and Bachelor’s degree from Tsinghua University. Primary designer and developer of CertiKOS and SeKVM. Gu has received: an OSDI Jay Lepreau Best Paper Award, an SOSP Best Paper Award, two Amazon Research Awards, a CACM Research Highlight, and a Yale Distinguished Dissertation Award.

Jason Yuqiang Jiang has a proven executive management track record and over 15 years of experience driving sales growth in industrial, technology and consumer industries. He recently served as Chief Operating Officer for Sensimo Inc., a technology company providing AIOT energy saving solutions to mega Data center. He was the Founder and Chief Executive Officer for Inno Optics, Inc. from 2012 until 2018, a company that provides RAMAN optical technology based identification systems to a wide range of industries including food, textile, petroleum, gem stone and pharmaceutical. The company was publicly listed on China’s NEEQ market in 2018. Prior to joining Inno Optics, Jason was General Manager of China for Greif Inc., a Fortune 500 company, responsible for a business unit’s performance of $100 Million P&L. At Greif China, he led the transformation into China’s top industrial packaging company while growing sales 30% year over year. Previously, he served as founder and VP of Business Development and Operation of AEC-MotionStar, Inc. Under his guidance, he grew the company from start-up stage to $4M revenue within 3 years and one factory operation. Jason spent the prior 8 years at Motorola, holding various engineering and management positions.

Dr. Kang Li was formerly the Chief Security Scientist and a Senior Director at Baidu Inc. Before that, he served in various leadership and consulting roles at cyber security enterprises and institutes, including the Institute for Cyber Security and Privacy at UGA, Intel, and Samsung. Kang was also a tenured full professor at the University of Georgia. Dr. Kang Li was the founding mentor of multiple CTF teams, including Blue-Lotus and Team Disekt. He is a frequent speaker at major security conferences, and he is also a DARPA Cyber Grand Challenge Finalist. He graduated with a Computer Science Ph.D. degree from OHSU and B.S. degree from Tsinghua University. He also holds a master’s degree from Yale Law School.

Alexey Malanov was formerly a Head of Anti-Malware Team and Malware Expert at Kaspersky. He is an expert in malware analysis and has extensive experience in designing and developing antivirus engines. He holds multiple patents on malware processing automation. During his smart contract auditing experience, he has found a series of critical vulnerabilities with the possibility of money freezing or stealing. He obtained his MD from Moscow State University.

Vilhelm Sjöberg was a former associate research scientist at Yale University. He received his Ph.D. in Computer Science from the University of Pennsylvania in 2015. He is an industry-leading expert in software verification, programming languages, and type systems. His research is focusing on language support for layered verified systems like CertiKOS, and currently he is developing DeepSEA which is a language to write verified smart contracts. Dr. Sjöberg is the winner of 2016 ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award.

Hudson Jameson has over a decade of experience in blockchain technologies with prior roles at the Ethereum Foundation, Zcash, SEAL, Flashbots, and Polygon Labs. In Ethereum's early years, he was responsible for restarting the EIPs repo & starting the Eth core developer meetings while coordinating all network upgrades from 2016 to 2021. In 2017 he co-founded Oaken Innovations, an IoT blockchain start-up, where he served as COO and Lead Smart Contract Developer. Hudson was a founding contributor to the Security Alliance (SEAL) which helps protect the crypto community from security threats. Prior to his role at CertiK, Hudson was VP of Community and Governance at Polygon Labs helping develop a strong, fun protocol developer community. He enjoys ice cream and playing with his cats.

Stefan has 25 years of experience in investment banking, public company leadership, and government relations. He was Managing Partner at A10 Associates LLC, the largest woman-owned lobbying firm in the United States, advising companies in technology, sustainability, and infrastructure. From 2018 to 2024, he served as Chief Financial Officer of Sustainable Projects Group Inc., a publicly listed company, where he also led government relations for sustainability and technology initiatives. Earlier, Stefan spent more than a decade in Europe in investment banking, beginning in technology equity research before moving into institutional equity sales and brokerage.

Denise has extensive legal experience counseling and advising businesses ranging from technology start-ups and growth-stage companies to large corporations across a wide range of industries. She was formerly an Associate and Corporate Counsel with the international law firm of Latham & Watkins LLP in its New York City office, where she specialized in mergers & acquisitions and general corporate matters. She previously served as the General Counsel to Stages LLC, a start-up audio technology company, and to On2 Technologies, a small, publicly traded media company that designed video codec technology, which was subsequently sold to Google. She received her Juris Doctorate from the University of Pennsylvania Carey Law School and holds a Bachelor of Science degree in Finance from Lehigh University.