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

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

论文

1.Program Segment Testing for Human-Machine Pair Programming. International Journal of Software Engineering and Knowledge Engineering.
2.Testing Program Segments to Detect Software Faults during Programming. International Journal of Performability Engineering.
3.Testing Program Segments to Detect Runtime Exceptions in Java. International Workshop on Structured Object-Oriented Formal Language and Method.
4.An integrated formal method combining labeled transition system and Event-B for system model refinement. IEEE Access.
5.Condition Sequence Coverage Criterion and Automatic Test Case Generation for Testing-Based Formal Verification. 2025 IEEE 36th International Symposium on Software Reliability Engineering (ISSRE).

专利

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