Lijun Zhang - RWTH AACHEN UNIVERSITY UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic - English

Person

Prof. Dr.

Lijun Zhang

ISCAS Beijing and IIS Guangzhou

Address

Contact

WorkPhone: Phone: +86 62661605

Email: zhanglj@ios.ac.cn

External Links

Guest Talk: Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification

last updated: 12/05/2021

RWTH

Services

Social Media

Institutions