Stack Overflow
Stack Overflow

Zhilei Han
13
reputation
4
  • Tsinghua University,Beijing,China
  • Member since March 26 2018
  • 3 profile views
  • Last seen Dec 07 '21 at 05:10

Working on formal verification of reactive programming language and the design of a display DSL of synchronous language.