Scholar
Xian Zhang
Google Scholar ID: OQnjxywAAAAJ
Microsoft Research
Citations & Impact
Citations
438
H-index
11
i10-index
13
Publications
20
Co-authors
14
list available
Publications
Resume (English only)
Academic Achievements
- No specific academic achievements mentioned.
Research Experience
- Principal Researcher at Microsoft Research Lab – Asia. Research areas include security, privacy, and cryptography as well as systems and networking.
Education
- B.S. in EECS from Peking University in 2013; Ph.D. in EECS from Peking University in 2018.
Background
- Current research fields include AI math reasoning, theorem proving, and formal verification.
Miscellany
- No specific other information mentioned.
