1
reputation
1

Zhilei Han

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

0
answers
1
question
~3
people reached
  • Tsinghua University,Beijing,China
  • linusboyle.cn
  • Member for 42 days
  • 0 profile views
  • Last seen Oct 29 at 3:48

Top tags (3)

Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (1) All Questions Answers | Votes Newest

Badges (1)

Gold

Silver

Bronze

1

Rarest