Benoit da Mota

Background

About Benoit da Mota

Docteur en informatique diplômé de l'Université d'Angers, de 2006 à 2011, j'étudie les aspects théoriques et la résolution en parallèle de problèmes hautement combinatoires en intelligence artificielle au sein du Laboratoire d'Etude et de Recherche en Informatique d'Angers (LERIA) de l'Université d'Angers. De 2011 à 2013, au sein de l'équipe-projet Inria Parietal à Neurospin, j'effectue des travaux méthodologiques et techniques pour l'analyse conjointe de données de neuroimagerie et de génomique. Cette recherche pluridisciplinaire implique l'utilisation d'importantes ressources de calcul, HPC classique ou cloud computing. De 2013 à 2014 chez Alliance Services Plus, filiale du groupe Eolen, j’interviens en tant qu'expert sur des missions d'expertise et des projets de R&D en calcul scientifique et bio-informatique. L'équipe dont je fais partie, œuvre particulièrement pour la démocratisation du HPC, notamment pour les Sciences du vivant. Depuis Septembre 2014, je suis maître de conférences à l'Université d'Angers au sein du département d'informatique et du LERIA. Mon thème de recherche actuel est l'intelligence artificielle appliquée à la chimie. Spécialités : Apprentissage artificiel, Optimisation combinatoire, Programmation parallèle, MPI, HPC, grille, Python, Brain Wise Genome-wide Association Study, formules booléennes quantifiées, Answer Set Programming, Vérification formelle