Dana N. Xu

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

News

Education

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 Skills

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

Motto

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

Click for Paris, France Forecast