Boqi Chen est titulaire d’un doctorat de l’Université McGill. Ses recherches se situent à l’intersection du génie logiciel et de l’intelligence artificielle. Ils portent précisément sur l’intégration fiable et rigoureuse de composants d’IA, en particulier de grands modèles de langage, aux processus de génie logiciel, à l’aide de méthodes formelles, guidées par les modèles et neurosymboliques. Il a agi à titre d’évaluateur pour plusieurs conférences et revues de renom, dont AAAI, ASE, TSE, TOSEM et EMSE.
Boqi Chen
Biographie
Intérêts de recherche
- Intelligence artificielle fiable pour le génie logiciel
- Intelligence artificielle neurosymbolique
- Ingénierie guidée par les modèles
- Méthodes formelles et vérification