Lijun Zhang

Chinese Academy of Sciences, Chinese Academy of Sciences

Names

Lijun Zhang

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