En quelques mots
Professeur à l'Université d'Artois, directeur adjoint puis directeur désigné du CRIL. Créateur du solveur SAT4J, médaille de l'innovation du CNRS 2018. Implanté à Lens, dans le Pas-de-Calais. S’adresse à : Chercheurs, Entreprises, Étudiants.
Domaines
Propose
Pour Chercheurs, Entreprises, Étudiants
En pratique
Adresse
Faculté des Sciences Jean Perrin, rue Jean Souvraz, 62300 Lens
Site
cril.univ-artois.fr
Rattachée à
CRIL (UMR 8188 CNRS, Université d'Artois)
Public
Chercheurs, Entreprises, Étudiants
Domaines IA
Satisfiabilité (SAT), Contraintes, Raisonnement automatique
Secteurs
Logiciel, Vérification formelle
Dans les discussions
Pas encore de participation publique aux discussions.