Wenhui Zhang (Preferred)
Wenhui Zhang
Emeritus, State Key Laboratory of Computer Science, Chinese Academy of Sciences, Chinese Academy of Sciences
- Joined July 2025
Names
Emails
****@ios.ac.cn (Confirmed)
Personal Links
Career & Education History
Emeritus
State Key Laboratory of Computer Science, Chinese Academy of Sciences, Chinese Academy of Sciences (ios.ac.cn)
2023 – Present
Advisors, Relations & Conflicts
PhD Advisor
Herman Ruge Jervell
1986 – 1988
Expertise
Logical Methods in Computer Science
1986 – 2025