Faire le lien entre les langages de programmation, les méthodes formelles et le traitement du langage naturel

Jocelyn Qiaochu Chen est maître de conférences au département d’informatique de l’Université de l’Alberta et titulaire d’une chaire CIFAR en IA affiliée à l’Amii. Ses recherches se situent à la croisée des langages de programmation, des méthodes formelles et du traitement du langage naturel, et portent principalement sur les approches neurosymboliques visant à développer des systèmes logiciels fiables assistés par l’IA. Elle met au point des méthodes qui allient la flexibilité des grands modèles linguistiques à la rigueur du raisonnement symbolique, des solveurs et des outils de vérification formelle.

Ses recherches portent sur les agents LLM destinés à des tâches liées au code, aux preuves et aux données, sur les langages spécifiques à un domaine et sur la synthèse de programmes, dans le but de rendre les systèmes d’IA plus fiables, plus interprétables et plus vérifiables. Jocelyn a obtenu son doctorat en informatique à l’université du Texas à Austin, où elle s’est spécialisée dans la synthèse de programmes et les systèmes neurosymboliques destinés aux tâches de programmation des utilisateurs finaux. Ses travaux sont régulièrement publiés dans des revues de premier plan consacrées aux langages de programmation, au traitement du langage naturel (NLP) et à l’IA, pour lesquelles elle intervient également en tant que relectrice. À travers ses recherches, elle vise à développer des systèmes d’IA capables de synthétiser et de raisonner sur des programmes dans des contextes où l’exactitude et la supervision humaine sont essentielles.