I am Nicolas Heng Zhong ("Nicolas" is after the group of mathematicians "Nicolas Bourbaki", the thought of whom I highly identify with), currently a senior undergraduate at Fudan University. My research interest is in programming languages and computer systems.
- C (8 years of experience); Standard ML, OCaml, Rust, Verilog/SystemVerilog (Expert); Modern C++, Haskell (Familiar); Coq (Learning)
- English (Highly Proficient), Chinese (Native), Japanese (Learning)
- Heng Zhong and Anrui Liu. Meerkat: A Distributed Reactive Programming Language with Live Updates. 2024. arXiv: 2407.06885 [cs.PL]. URL: https://arxiv.org/abs/2407.06885. Submitted to ACM SPLASH'24 SRC.
Skiing, Kendo, Developing gadget software, Translating literatures in PL to Chinese