Ronghui Gu, Professor Assistente de Ciência da Computação, descreve seu trabalho sobre como melhorar a confiabilidade e a segurança dos sistemas de blockchain usando técnicas de verificação formal como parte da programação virtual para o Alumni Weekend Reinvented. Ele discute as vulnerabilidades dos sistemas de blockchain atuais e as limitações das soluções tradicionais; como a verificação formal pode ser usada para tornar blockchain e contratos inteligentes livres de bugs e resistentes a hackers; e as aplicações existentes e potenciais da verificação formal em sistemas de blockchain do mundo real.