Hongjian Jiang
Stop the war!About meI 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. ResearchMy research interests include:
Current work
|