Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Zaynah Dargaye
[go: Go Back, main page]
Zaynah Dargaye
Email: zaynah.dargaye@inria.fr
Office phone: + 33 1 3963 5019

Gallium team
INRIA Rocquencourt
Domaine de Voluceau
B.P. 105, 78153 Le Chesnay, France

I'm a Ph.D. candidate in Computer Science at INRIA. My advisor is Xavier Leroy. My research interests include compilers, programming languages and formal certification.

Papers and presentations