- Office: Room 339, Building 5
- Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
- email: ljlin###ios**ac*cn
I am currently a Master student in the group. My main research interests are:
- Probabilistic Model checking,
- Linear Temporal Logic and ω-regular languages,
- Abstract Interpretation and Safety of Deep Neural Networks.
- Master Student in Computer Software and Theory at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences,
- Computer Science and Technology (Bachelor’s degree) at Nanjing University of Aeronauticsand Astronautics.
- Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification, In SAS, pages 296-319, Springer, LNCS 11822, 2019.
- Hongfei Fu, Yi Li, Jianlin Li:
Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties. QEST 2018: 122-139