Mr. Hongjian Jiang
Anschrift
RPTU Kaiserslauetern-Landau
Gebäude 34, Raum 425
Gottlieb-Daimler-Straße
67653 Kaiserslautern
Deutschland
E-mail: hongjian.jiang(at)rptu.de
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
| 2024 | Ph.D. candicate under Prof. Anthony Widjaja Lin in the Max Planck Institute for Informatics and Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau. |
| 2022 | Graduated in the master's degree under Prof. Yongxin Zhao from East China Normal University and Prof. Yongjian Li from Chinese Academy of Sciences (GB) |
| 2019 | Bachelor's degree graduate from the Yunnan University (China) |