Jeudi 15 février 2024 de 14h30 à 16h
Amphi Ircica – 50 avenue Halley – Haute Borne – Villeneuve d’Ascq
Abstract:
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 Bio: 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.
