Te invitamos a unirte a Stuart Popejoy, Presidente de Kadena y Profesor Ronghui Gu Cofundador de Certik para un concierto Discordia ama en 7 de mayo a las 3 pm ET / 12 pm PT en Verificación formal y cubriendo amplios usos y aplicabilidad en .
La AMA adoptará un enfoque de Ayuntamiento, con cada anfitrión respondiendo preguntas enviadas previamente y en vivo durante todo el evento. Esto permitirá a cualquier persona con una pregunta o comentario compartir sus pensamientos.
Hospedadores:
Stuart popejoy, Presidente y fundador @ Kadena: Stuart Popejoy es cofundador de Kadena y tiene 15 años de experiencia en la construcción de sistemas de comercio e intercambio de redes troncales para la industria financiera, incluso como líder del grupo de tecnología emergente en JP Morgan. Stuart es el creador del lenguaje de contrato inteligente de Kadena, Pact, el primer lenguaje de contrato inteligente de código abierto con verificación formal incorporada.
Ronghui Gu, Cofundador @ Certik: Ronghui Gu es profesor adjunto de tenencia de ciencias de la computación en la Universidad de Columbia. Obtuvo su Ph.D. en Ciencias de la Computación de la Universidad de Yale en 2016, donde su tesis ganó el Premio de Disertación de Distinción de Yale y fue nominado para el Premio de Tesis de la ACM. Ronghui es un experto en la verificación formal del software del sistema y fue el diseñador y desarrollador principal de CertiKOS, el primer kernel de SO concurrente totalmente verificado del mundo.
¿Quieres hacerle una pregunta a Stuart o Ronghui en vivo?
Diríjase a nuestra discordia y suelte su pregunta en nuestro canal # ask-kadena, o envíe un tweet con la etiqueta #FormalVerficationAMA. Nuestro equipo reunirá las mejores preguntas y las transmitirá a nuestros anfitriones durante la AMA.
