Menu

Anicet BART

NANTES

Electionseuropéennes 2024

RETROUVEZ GRATUITEMENTLe résultat des européennes à Nantes ainsi que le résultat des européennes en Loire-Atlantique.

En résumé

Mes compétences :
Bash
Microsoft SQL Server
SQL Server Integration Services
CSS HTML
PowerShell
Javascript with JQuery
Scripting
Object oriented programming

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

Annuaire des membres :