Automatic Reasoning

Mr. Hongjian Jiang

 

Address

RPTU Kaiserslauetern-Landau
Building 34, Room 425
Gottlieb-Daimler-Str
67653 Kaiserslautern
Germany

E-mail: hongjian.jiang(at)rptu.de

Research interests

  • Automated Reasoning
  • Formal method
  • Theorem Proving
  • Security Protocol
  • Model Checking

Current projects

  • CHC-String solving
  • Theorem proving towards Symbolic regular algebra
  • Register automata learning

Scientific career

2024Ph.D. candicate under Prof. Anthony Widjaja Lin in the Max Planck Institute for Informatics and Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau.
2022Graduated in the master's degree under Prof. Yongxin Zhao from East China Normal University and Prof. Yongjian Li from Chinese Academy of Sciences (GB)
2019Bachelor's degree graduate from the Yunnan University (China)