Frédéric Peschanski est maître de conférences à Sorbonne Université et chercheur en informatique au laboratoire LIP6. Il enseigne essentiellement la programmation, de la licence au master, et s'intéresse beaucoup à 1a validation des programmes, c'est-à-dire les techniques permettant de garantir qu'un logiciel réalise correctement la tâche pour laquelle il a été programmé. Romain Demangeon est enseignant-chercheur au LIP6 et responsable du cours Eléments de programmation 1 de Sorbonne Université.
II s'intéresse aux méthodes formelles, à l'analyse statique et aux systèmes de types pour la validation des programmes concurrents.