Name: Colloquium Polaris - Nathanaël Fijalkow explore comment l'apprentissage automatique rencontre la synthèse de programmes
Start: 15/02/2024
End: 15/02/2024
Location: Ircica

Mis à jour le 20/02/2024

Nathanaël Fijalkow, interviendra au Colloquium Polaris le jeudi 15 février. Sa présentation portera sur les avancées récentes et les défis persistants dans le domaine de la synthèse de programmes par apprentissage automatique. Avec une expertise à l'intersection des méthodes formelles et de l'apprentissage automatique, il explorera spécifiquement les approches neurosymboliques de la synthèse de programmes et discutera des obstacles auxquels elles se confronteront à l'avenir.
L'événement est prévu de 14h30 à 16h à l'amphithéâtre de l'Ircica à Villeneuve d'Ascq.

Résumé de l'intervention

Au cours des cinq dernières années, l'apprentissage automatique a révolutionné la synthèse de programmes. Mais le problème est loin d'être résolu. Au cours de cette présentation, nous présenterons les approches neurosymboliques de la synthèse de programmes et discuterons des défis auxquels elles devront faire face à l'avenir.

Biographie express

Nathanaël Fijalkow est chercheur junior au CNRS au LaBRI, Bordeaux (chargé de recherche) depuis 2018. Pendant l'année académique 2022 - 2023, il a effectué une visite à l'Université de Varsovie. Jusqu'à récemment, il était chercheur au sein de l'Alan Turing Institute of data science and artificial intelligence à Londres. Il a soutenu son doctorat en octobre 2015 et son habilitation (HDR) en février 2022. Ses recherches portent sur l'informatique, à l'intersection des méthodes formelles et de l'apprentissage automatique. Il s'intéresse notamment à la synthèse de programmes, aux jeux et aux automates.