Ronghui Gu, professeur adjoint en informatique, décrit son travail sur l'amélioration de la fiabilité et de la sécurité des systèmes blockchain en utilisant des techniques de vérification formelle dans le cadre de la programmation virtuelle pour le week-end des anciens élèves réinventé. Il aborde les vulnérabilités des systèmes blockchain actuels et les limites des solutions traditionnelles ; comment la vérification formelle peut être utilisée pour rendre les blockchains et les contrats intelligents sans bogues et résistants aux hackers ; ainsi que les applications existantes et potentielles de la vérification formelle dans les systèmes blockchain du monde réel.