Pierre Talbot received his PhD degree in 2018 from the Institute for Research and Coordination in Acoustics/Music (IRCAM) and Sorbonne University (Paris). His research focuses on unifying combinatorial satisfaction and optimization techniques from the standpoint of programming languages, which includes synchronous programming, lattice theory and abstract interpretation. Pierre joined the Parallel Computing & Optimization research group, PCOG, headed by Prof. Pascal Bouvry.