Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > BORGNA Agustin Pablo
Présentation
M. BORGNA Agustin Pablo
Doctorant
CNRS
Vérification d'Algorithmes, Langages et Systèmes

Tel :
Fax :
Bureau : 75/PCRI-S

Page personnelle :
Courrier électronique : Agustin.Borgna@lri.fr











Thèses et habilitations
Thèse en cours   - Towards a formal compilation stack-frame in quantum computing