Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > COQUEREAU Albin
Présentation
M. COQUEREAU Albin
Doctorant
Université Paris-Sud
Vérification d'Algorithmes, Langages et Systèmes

Tel : 0169153589
Fax :
Bureau : 39/PCRI-S

Page personnelle : https://www.lri.fr/~coquera/
Courrier électronique : Albin.Coquereau@lri.fr



Projets
   - Toccata









Thèses et habilitations
Thèse en cours   - Amélioration de performances pour le solveur SMT Alt-Ergo : conception d'outils d'analyse, optimisations et structures de données efficaces pour OCaml