Vardi's Group
Like Xu
lkml-likexu
A linux kernel developer, focusing on performance (w/ monitorability, w/ debuggability, w/ scalability, w/ power efficiency).
Tencent Cloud Shanghai, China
Lee Man
lee-man
Hardware formal verification. 真正自主研发硬件形式化验证工具
HUAWEI | NOAH'S ARK LAB; CUHK CSE Ph.D. Shenzhen