2024年毕业于日本广岛大学先进理工学部，情报科学专业，获工学博士学位，主要从事软件可靠性领域的相关研究，包括形式化方法，程序分析，错误检测等。近年来，在相关会议和期刊上发表文章数篇，并作为评审委员会成员参与与组织国际会议。

形式化方法，程序分析，软件错误检测等（目前正专注大模型的相关应用，欢迎有兴趣的学生联系，一起研究与探索更多的研究课题）

论文

1. Program Segment Testing for Human-Machine Pair Programming. International Journal of Software Engineering and Knowledge Engineering.
2. Testing Program Segments to Detect Runtime Exceptions in Java. International Workshop on Structured Object-Oriented Formal Language and Method.
3. An integrated formal method combining labeled transition system and Event-B for system model refinement. IEEE Access.
4. Testing Program Segments to Detect Software Faults during Programming. International Journal of Performability Engineering.
5. A LTS Approach to Control in Event‐B. Scientific Programming.
6. LTS Semantics Model of Event-B Synchronization Control Flow Design Pattern. Journal of Information Processing Systems.
7. Modeling the Embedded Control System using iUML-B Pattern State Machine. Journal of Control Science and Engineering

专利

1. 一种融合切片测试和形式验证的运行时异常检测方法.