Utilisateur·rice
Valentin • MAESTRACCI
Doctorant (Phd Student) • Affiliation : Aix-Marseille Université (AMU)
Location : Luminy • Office : • Office Floor : 1 •
AGLR-LDP (équipe Logique de la Programmation) / Formation : ENS Paris-Saclay (Informatique 2017-2021)
User group(s) :
User Thematic(s) :
- Logic
