Lijun Zhang
Lijun Zhang
Chinese Academy of Sciences, Chinese Academy of Sciences
Names
Emails
****@ios.ac.cn
Personal Links
Education & Career History
Full Professor
Chinese Academy of Sciences, Chinese Academy of Sciences (ios.ac.cn)
2013 – Present
Advisors, Relations & Conflicts
advisor
Holger Hermanns
****@cs.uni-saarland.de
2004 – 2009
Expertise
trustworthy AI
2018 – 2023
formal methods
2009 – 2023