Ronghui Gu, Assistant Professor of Computer Science, describes his work on how to improve the reliability and security of blockchain systems using formal verification techniques as part of the virtual programming for Alumni Weekend Reinvented. He discusses the vulnerabilities of the current blockchain systems and the limitations of traditional solutions; how formal verification can be used to make blockchain and smart contracts bug-free and hacker-resistant; and the existing and potential applications of formal verification in real-world blockchain systems.