ReasLab @ BICMR
Users following reaslab
Zekun Zhang
Reinhard016
University Of Electronic Science And Technology Of China University Of Electronic Science And Technology Of China
XinYao
XinYao1994
Received Ph.D. from HKU.
Scalable learning system, Consistency & consensus, Erasure coding, SOC & COC(NPU+) designing, OS.
Relative cooperations are welcome!
HUST & HKU HongKong
SunXuran
griseoh135
griseoh135 /SunXuran
本科数学系学生 | 南京大学 (NJU)
中国南京 | 仙林校区
专注于：
• 数学基础理论 (分析、代数、几何)
• 形式化验证 (Formal Verification)，lean4
中国
Yongshun Ye
ShreckYe
Kotlin full stack developer; programming language theory (functional programming, type theory, formal math, etc.) enthusiast
@huanshankeji Chengdu
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@facebook The edge of knowing
ZiyangXu
StatXzy7
AI for Science, Bioinformatics, Medical Image Processing
The Chinese University of Hong Kong Hong Kong SAR, China
