CV

Education

• B.E. in Computer Science & Technology, University of Science and Technology of China, 2024
• High School, Shenzhen Middle School, 2017

Work experience

• Summer & Fall 2023: Research Assistant
  • University of Michigan
  • Duties included: Conducting research on SQL verification
  • Supervisor: Prof. Xinyu Wang

Skills

• Computer Languages:
  • General Purpose Languages: Python, C++, Go, C, Coq, OCaml, Rust
  • Proof Assistants: Coq, Lean
  • Hardware Description Languages: Verilog
  • Assembly Languages: RISC-V, ARMv7, LoongArch, AMD64
  • Other Languages: Antlr, LaTeX, LLVM, Yacc (Bison)
• Natural Languages: English (fluent), Mandarin (native)

Publications

Talks

Teaching

Teaching Assistant in Analog and Digital Circuits

Service and leadership

• Student Volunteer in USTC CS Debugger Salon, Spring 2023 & Spring 2024

Misc

• My preferred timezone is Coordinated Universal Time (UTC).
• My preferred temperature unit is Kelvin (K).
• My name in native alphabet is 张子辰 (U+5F20 U+5B50 U+8FB0).