Daniel Crowley, élu nouveau vice-président étudiant

LE

Daniel Crowley a été élu vice-président Étudiant par le Conseil Académique de l'université d'Artois, le 21 novembre dernier. II fait partie des étudiants élus à la Commission Recherche.

 

Originaire d’Irlande, il a étudié à l’université de Cork (UCC, University College Cork) avant de venir en France pour préparer son doctorat.

Il est actuellement en 3e année de thèse en informatique à la Faculté des sciences Jean Perrin à Lens.

Membre du CRIL, il se destine à être chercheur en IA. Il prépare une thèse dont le sujet est « SAT pour la vérification formelle en méthode B » (SAT-based Approaches for Formal Verification with B Method) en Intelligence Artificielle, sous la direction et l’encadrement de Daniel Le Berre, de Yakoub Salhi et d’Olivier Roussel.