Anicet BART

En résumé

Entreprises

• Centre de recherche en informatique de Lens (laboratoire CNRS) - Stagiaire

  2013 - 2014 Stage master recherche (3 jours par semaine)

• Netilog - Consultant informatique

  2013 - 2014 Envoyé comme consultant chez Bridgestone Europe à Bruxelles

• Roquette Freres - Internship

  Lestrem 2013 - 2013

• CASL - University College Dublin - Internship

  2012 - 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

• EPSM Val de Lys - Artois - Summer job

  2011 - 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

Formations

• Institut Mines-Télécom Atlantique

  Nantes 2014 - maintenant Doctorat
  
  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 programmes. Le premier permet de décrire des systèmes réactifs synchrones tels le langage SCADE (ut

• Université Artois

  Lens 2011 - 2013 Master recherche : Systèmes Intelligents et Applications
  
  (master 2 suivi en même temps qu'un autre)

• Université Artois

  Lens 2011 - 2013 Master professionnel : Ingénierie Logiciel pour l'Internet.
  
  (master 2 suivi en même temps qu'un autre)

• Université Artois

  Lens 2008 - 2011 Licence Informatique
  
  Mention : très bien

Réseau

• Adeline HEUSÈLE

• Cedric LEBLOND

• Christophe VANDENBROUCKE

• Imbert CÉDRIC

• Kévin GUILBERT

• Marc LEBORGNE

• Mohamed BELHADJ-ADDA

• Saturnin YATTA