Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > HACHMAOUI Mohammed
About LRI
Mr HACHMAOUI Mohammed

Warning: this member left the laboratory on 30/09/2020
 
HACHMAOUI Doctorant
Université Paris-Saclay
Verification of Algorithms, Languages and Systems

Tel :
Fax :
Office : 73/PCRI-S

Personal web page :
Email : Mohammed.Hachmaoui@lri.fr











Ph.D. dissertations & Faculty habilitations
Thesis in progress   - Traduction certifiée et mécanisée en Coq d'une algèbre relationnelle étendue pour SQL vers une algèbre imbriquée