Mr. Hongjian Jiang
Email: hongjian.jiang [at] rptu.de
Hausadresse: Geb. 34, Raum 425
Gottlieb-Damler-Str
67663 Kaiserslautern

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)
Curriculum Vitae
PDF [more ...]



Superordinated page: Group members
[more ...]
Feedback for this Page
Email to the person in charge of this page (stan@informatik.uni-kl.de) [more ...]