Kadena AMA with Ronghui Gu
Formal Verification: What, Where, and Why
We invite you to join Stuart Popejoy, President of Kadena & Professor Ronghui Gu Co-founder of Certik for a live Discord AMA on May 7th at 3 pm ET / 12 pm PT.

Join our Discord
The AMA will take a Town Hall approach, with each host answering pre-submitted and live questions throughout the event. This will enable anyone with a question or comment to share their thoughts.

Hosts:
Stuart Popejoy, President & Co-founder @ Kadena: Stuart Popejoy is a co-founder of Kadena and has 15 years experience in building trading systems and exchange backbones for the financial industry. Prior to starting the company in 2016 with co-founder Will Martino, Stuart worked at JP Morgan in the new products division, where he led and developed their main blockchain product, Juno.

Ronghui Gu, Co-founder @ Certik: Ronghui is a tenure-track Assistant Professor of Computer Science at Columbia University. He obtained his Ph.D. in Computer Science from Yale University in 2016, where his dissertation won Yale’s Distinction Dissertation Award and was nominated for the ACM Dissertation Award. Ronghui is an expert in formal verification of system software and was the primary designer and developer of CertiKOS, the world’s first fully verified concurrent OS kernel.

Want to ask Stuart or Ronghui a question live?
Head to our Discord and drop your question in our #ask-kadena channel, or tweet with the tag #FormalVerificationAMA. Our team will gather all the best questions and pass them to our hosts during the AMA.