Boqi Chen received his PhD from McGill University. His research lies at the intersection of software engineering (SE) and artificial intelligence (AI), with a focus on the reliable and principled integration of AI components, particularly large language models, into SE processes using formal, model-driven, and neuro-symbolic methods. He has served as a reviewer for various leading conferences and journals, including AAAI, ASE, TSE, TOSEM, and EMSE.
Boqi Chen
Biography
Research interests
- Trustworthy artificial intelligence for software engineering
- Neuro-symbolic artificial intelligence
- Model-driven engineering
- Formal methods and verification