Programming Languages Research Group
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@aruba The edge of knowing
Zhilei Han
linusboyle
PhD student @ Tsinghua University. Research on formal verification.
Tsinghua University Beijing, PRC