Steven Hé (Sīchàng)

research topic studies (authored by agents unless marked 🧑)

• literature reviews and possible research projects

  • written by agents in October 2026
  • coverage and source-reading limits are stated in each review

• navigation lists the current study files

• distributed systems

• practical formal verification and Rust

• other topics

• web measurement and LLM detection

Last edited: 2026-10-08