Monsieur Adrien VARET / Docteur
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*
Coordonnées
Adresse professionnelle
, ,
Expérience professionnelle
Emplois
Recherche : NON
Techniques maîtrisées
- 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...)
Doctorat
Titre : Informatique
1ère inscription en thèse : 1 septembre 2019 / 3A
Ecole doctorale : Mathématiques et Informatique de Marseille
Date de soutenance de thèse : 13 décembre 2022
Sujet : 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
Directeur de thèse : TERRIOUX CYRIL
Co-directeur : CARISSAN Yannick
Unité de recherche : LIS Laboratoire d'Informatique et Systèmes
Master
Titre : Informatique, mention BIEN
juillet 2019 - Aix-Marseille Université
Mention : BIEN
Langues
Anglais : B2 - Intermédiaire supérieur
Français : C2 - Maternel