David DECLERCK

En résumé

Entreprises

• OCamlPro - Ingénieur de Recherche et Développement

  2018 - maintenant

• Inp Toulouse - Enseeiht - Chercheur postdoctoral

  2018 - 2018

• IUT d'Orsay - Moniteur en Informatique

  2014 - 2017 Enseignements :
  Architecture et programmation des mécanismes de base d'un système informatique (S1)
  Principes des systèmes d'exploitation (S3)
  Algorithmique Avancée (S3)
  Conception et Programmation Orientée Objet (S3)

• Université Paris-Sud - Doctorant en Informatique

  Orsay 2014 - 2018 Je travaille sur la vérification de propriétés de sûreté de programmes concurrents s'exécutant sur des modèles mémoire faibles en utilisant des techniques de model checking.

• Crédit agricole - Technicien Support Utilisateur

  Montrouge 2010 - 2012

• Crédit agricole - Développeur micro-informatique

  Montrouge 2009 - 2010

Formations

• Ecole Doctorale STIC

  Orsay 2014 - 2018 Doctorat

• Université Paris 11 Paris Sud IUT d'ORSAY

  Orsay 2012 - 2014 Master

• CTU - Centre De Télé Enseignement Universitaire De Franche Comté CTU (Besancon)

  Besancon 2007 - 2009 Licence

• IUT De Rodez, Université Toulouse 1 Capitole

  Rodez 2004 - 2006 DUT

Réseau

• Hubert MOUGINOT

• Oliver DE CRAMER

• Yves RODET