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

Forschungsinteressen

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

Laufende Projekte

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

Wissenschaftlicher Werdegang

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)
Lebenslauf
PDF [mehr ...]



Übergeordnete Seite: Gruppenmitglieder
[mehr ...]
Feedback zu dieser Seite
Email an den Verantwortlichen dieser Seite (stan@informatik.uni-kl.de) [mehr ...]