Dana N. Xu

Research Scientist (Chargé de Recherche) of Gallium Team at INRIA Paris - Rocquencourt, a French National Research Institute.



Research Interest

Building reliable and efficient software through programming language design, static analysis, type theory, program verification, optimization, and automatic parallelization.

Professional Activities

Program committee member:

Research Guide

How to write a good paper, give a good talk, write a good grant proposal (video)


The foolish man seeks happiness in the distance, the wise grows it under his feet. -- James Oppenheim.

Click for Paris, France Forecast