QooryBeta
Hanzhi Liu

Hanzhi Liu

Co-founder en Nubit

Hanzhi Liu es cofundador de Nubit. Es estudiante de doctorado (en excedencia) en UCSB, con una licenciatura de la Universidad Jiao Tong de Shanghái. Su investigación se centra en verificación de programas, semántica de lenguajes y optimizaciones de compiladores. Ha escrito pruebas formales para la mayoría de los proyectos de Ethereum Foundation PSE y ha descubierto numerosas vulnerabilidades de día cero. Es autor de un artículo notable sobre certificación de circuitos ZKP, aceptado para S&P, y ha trabajado en la mitigación de ataques en cadena.