Colloquium Polaris - Nathanaël Fijalkow explores how machine learning meets program synthesis

Date:
15 February 2024
Location :
Ircica
,

Campus Haute-Borne 50 Avenue Halley , 59 658 Villeneuve d'Ascq

Changed on 20/02/2024
Nathanaël Fijalkow, a junior researcher at CNRS in LaBRI, Bordeaux, will speak at the Polaris Colloquium on Thursday, 15 February. His presentation will delve into the recent advancements and persistent challenges in machine learning-driven program synthesis. With expertise at the intersection of formal methods and machine learning, he will specifically explore neurosymbolic approaches to program synthesis and discuss the hurdles they face for the future.
The event is scheduled from 2:30 to 4 pm at the Ircica amphitheatre in Villeneuve d'Ascq.
Logo Colloquium Polaris

Summary of the presentation

Over the past 5 years, machine learning has revolutionised program synthesis. But the problem is far from solved. In this talk, we’ll present neurosymbolic approaches to program synthesis and discuss the challenges they face for the future.

Short biography

Nathanael Fijalkow

Nathanaël Fijalkow is a junior researcher at CNRS in LaBRI, Bordeaux (chargé de recherche) since 2018. The academic year 2022 – 2023 he was visiting University of Warsaw. Until recently he was a research fellow of The Alan Turing Institute of data science and artificial intelligence in London. He defended his PhD in October 2015 and his habilitation (HDR) in February 2022. His research is in computer science, at the intersection of formal methods and machine learning. His interests include program synthesis, games, and automata.