Calling out all developers, as you’re invited to join Kadena’s AMA session with CertiK on Formal Verification. Projects Founders, Stuart Popejoy and Ronghui Gu, will be discussing the Formal Verification and covering broad uses and applicability in Blockchain
When people talk about “Formal Verification,” they generally mean transforming code into mathematical models that can be computationally proven.
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.
Contribute and add value to the Discussion
Join Kadena’s official Discord group and ask your question in the #ask-kadena channel.
You can also tweet out question, just add the tag #FormalVerificationAMA. Question may be addressed by the Hosts throughout the AMA session
Sign-up on EventBrite to lock in your Question: Here
Or visit, Kadena Discord Channel