Anicet BART

Anicet BART

Doctorant, Institut Mines-Télécom Atlantique
 

En formation chez Institut Mines-Télécom Atlantique

Précédents : Université Artois

 

Précédents : Centre de recherche en informatique de Lens (laboratoire CNRS), Netilog, Roquette Freres, CASL - University College Dublin, EPSM Val de Lys - Artois

Parcours

 

Institut Mines-Télécom Atlantique, Nantes

Doctorat, Informatique

De septembre 2014 à aujourd'hui
Sujet « Programmation par contraintes et vérification ». Depuis l'heure où les programmes informatiques se sont vus confier la réalisation de tâches de plus en plus complexes et variées, la vérification de leur sûreté est devenue un problème majeur. Cette thèse explore deux modèles de description de ...
Lire la suite
 

Stagiaire

Chez Centre de recherche en informatique de Lens (laboratoire CNRS)

De septembre 2013 à mars 2014
Stage de master recherche. Expérience de recherche dans un laboratoire CNRS sur le sujet : "Etude de l'ajout de symétries dans la carte de compilation". Les résultats de ce stage ont été publiés dans une conférence de rang international (ECAI 2014).
 

Consultant informatique

Chez Netilog

De septembre 2013 à février 2014
Mission chez le client Bridgestone Europe à Bruxelles, en tant que consultant informatique pour les connaissances de CFT (Cross File Transfer) et de scripting sur systèmes d'exploitation Unix. Contexte et description de la mission : portage de la solution de transfert de fichiers CFT (Cross File ...
Lire la suite
 

Stagiaire

Chez Roquette Freres

De avril 2013 à août 2013
Stage de validation du master professionnel. Roquette Frères est une entreprise française faisant partie des leaders mondiaux dans la production de plusieurs produits tirés de l'amidon. Le stage a été réalisé sur le site de Lestrem où se trouve la majeur partie du centre opérationnel structurant, ...
Lire la suite
 

Université Artois, Lens

Master professionnel : Ingénierie Logiciel pour l'Internet., Université Artois

De 2011 à 2013
(master 2 suivi en même temps qu'un autre)
 

Université Artois, Lens

Master recherche : Systèmes Intelligents et Applications, Université Artois

De 2011 à 2013
(master 2 suivi en même temps qu'un autre)
 

Internship

Chez CASL - University College Dublin

De avril 2012 à août 2012
Research in Artificial Intelligence: proof of the complexity for the clausal entailment in the Post’s lattice. - Capacity to solve hard & abstract problems - Capacity to manage a schedule for a complex project - Capacity to work in an english context
 

Summer job

Chez EPSM Val de Lys - Artois

De juillet 2011 à août 2011
Worked in the service quality to register surveys. I took the initiative to develop some VB scripts to accelerate the process and these scripts was still used the following years. - VB scripting - Microsoft Office - listen user problems & find solution by developing scripts
 

Université Artois, Lens

Licence Informatique, Université Artois

De 2008 à 2011
Mention : très bien

Compétences

 
  • Bash
  • CSS HTML
  • Javascript with JQuery
  • Microsoft SQL Server
  • Object oriented programming
  • PowerShell
  • Scripting
  • SQL Server Integration Services

Langues parlées