Hongbo Wen

I am a PhD student at the School of Computer Science, UC Santa Barbara. My PhD advisor is Yu Feng. I am also glad to be guided by Yanju Chen at UC Santa Barbara.

Before attending UCSB, I received my undergraduate degree from Tsinghua University and had a two-year industry experience at Megvii and Veridise, focusing on using academic techniques to solve real world problems.

Research Interests

I am focusing on helping complex software systems, such as blockchain, zero-knowledge proofs, and operating systems, become more reliable and stable. I am also interested in combing logical reasoning and nerual reasoning and apply those methods in practice. Here are some keywords about my research:

  • Programming Languages
  • Program Analysis
  • Program Synthesis
  • Blockchain
  • Zero-Knowledge Proof

profile photo

GitHub  /  Google Scholar


(* Equal Contribution)
USENIX Security'24
Practical Security Analysis of Zero-Knowledge Proof Circuits
Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng
pdf / bib /

project image

Industry/Academia Engagements

(Engagements beyond pure research publications)
From 2023 - 01 to Now
Teaching - UCSB
Teaching Assistant

Do the teaching assistant for the following courses:

  • Winter'23 CS162, Programming Languages
  • Winter'24 CS162, Programming Languages
From 2022 - 09 to Now
Research Assistant - UCSB
Research Assistant at PLSE Lab

From 2022 - 03 to 2022 - 08
Internship - Veridise

Do the research internship at Veridise, focusing on smart contracts auditing, especially using formal verification tools to make the auditing automatically.

Honors and Awards

2023 - 07
Academic Grant, Formal Verification Track - Ethereum Foundation
website /
2022 - 09
Academic Excellence Fellowship - UCSB

Design and source code from Jon Barron's website