Menu

David DECLERCK

ORSAY

Electionseuropéennes 2024

RETROUVEZ GRATUITEMENTLe résultat des européennes à Orsay ainsi que le résultat des européennes en Essonne.

En résumé

Mes compétences :
LaTeX
C
Linux
Multithreading
Programmation
C++
Informatique
Java
Recherche
Model Checking
Assembleur x86
OCaml

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

Réseau

Annuaire des membres :