Ronghui Gu, Assistenzprofessor für Informatik, beschreibt seine Arbeit zur Verbesserung der Zuverlässigkeit und Sicherheit von Blockchain-Systemen mithilfe formaler Verifikationstechniken im Rahmen des virtuellen Programms für das Alumni-Wochenende neu erfunden. Er erörtert die Schwachstellen der aktuellen Blockchain-Systeme und die Einschränkungen traditioneller Lösungen; wie formale Verifikation eingesetzt werden kann, um Blockchain und Smart Contracts fehlerfrei und hackerresistent zu machen; sowie die bestehenden und potenziellen Anwendungen formaler Verifikation in realen Blockchain-Systemen.