Monsieur Adrien VARET / PhD
enseignant-chercheur, enseignant du supérieur*chercheur en entreprise, R&D du secteur privé*pilotage de la recherche et de l'innovation, gestion de projets innovants, pilotage de structures innovantes*entrepreneur des domaines innovants*
Contact details
Professional contact details
, ,
Professional experience
Jobs
Research : NON
Techniques
- Intelligence artificielle (Programmation par contraintes, deep learning, représentation de connaissances) - Théorie algorithmique des graphes - Théorie de la complexité - Mathématiques discrètes (cryptographie, automates cellulaires, etc...) - Programmation (C/C++, Java, Haskell, Python, technologies web, etc...)
PhD
Title : Informatique
First registration date : 1 September 2019 / 3A
Doctoral school : Mathématiques et Informatique de Marseille
Thesis defense date : 13 December 2022
Subject : Programmation par contraintes et chimie théorique : utilisation du formalisme CSP pour résoudre des problématiques liées aux benzénoïdes Liées aux Benzénoïdes
Thesis supervisor : TERRIOUX CYRIL
Thesis co-supervisor : CARISSAN Yannick
Research unit : LIS Laboratoire d'Informatique et Systèmes
Master's degree
Title : Informatique, mention BIEN
July 2019 - Aix-Marseille Université
Mention : BIEN
Languages
Anglais : B2 - Intermédiaire supérieur
Français : C2 - Maternel