Jianlin Li (李建霖)’s Homepage


  • Office: Room 339, Building 5
  • Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
  • email: ljlin###ios**ac*cn

About me

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.

About me

  • 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.