Ханджи Лю является соучредителем Nubit. Он является аспирантом (в отпуске) в UCSB, с дипломом бакалавра из Шанхайского университета Цзяотун. Его исследования сосредоточены на верификации программ, семантике языков и оптимизации компиляторов. Он написал формальные доказательства для большинства проектов PSE Фонда Эфириума и обнаружил множество уязвимостей нулевого дня. Он является автором заметной статьи о сертификации ZKP-цепей, принятой на S&P 2024, и работал над смягчением атак в цепочке.