Lee Man
lee-man
Hardware formal verification. 真正自主研发硬件形式化验证工具
HUAWEI | NOAH'S ARK LAB; CUHK CSE Ph.D. Shenzhen
Diego Iruretagoyena
Iruretagoyena
Software Engineer @ Microsoft Seattle.
Bachelor of Science in Computer Science.
Microsoft Seattle
Magic Mai
magic3007
PKU CS Ph.D. student 2021 🎩🎩🎩 PKU 2017 CS. Focus on machine learning applications, MLsys, and emerging technology in VLSI CAD.
Peking University @PKU-IDEA Beijing, China