Hongjian Jiang

Ph.D. Student Max Planck Institute for Informatics Kaiserslautern, Rhineland-Palatinate, Germany 67653 Kaiserslautern E-mail: hongjian.jiang@mpi-inf.mpg.de

Stop the war!

About me

I received the B.S. degree from the Yunnan University in 2019, and the M.S. degree under Prof. Yongxin Zhao from East China Normal University and Prof. Yongjian Li from Chinese Academy of Sciences in 2022. I am currently a Ph.D. candicate under Prof. Anthony Widjaja Lin in the Max Planck Institute for Informatics and Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau. My main research interests include Model Checking, Theorem Proving, and Automated Reasoning, logic/automata techniques. I focus on using theorem prover to certify confidential system using Isabelle.

Research

My research interests include:

• Model Checking

• Theorem Proving

• Security Protocol

• Automated Reasoning

Current work

• Certified proof towards Regular algebra system

• CHC verification for string