Basile Clément

I am a PhD student in computer science at Inria, in the Cambium team. My advisors are Xavier Leroy and Albert Cohen.

I am interested in program analysis, compiler optimizations, and programming language semantics. I believe programs should be correct, readable and efficient, and believe these goals can be achieved simultaneously.

I am currently writing up my thesis on the translation-validation of multidimensional array languages.

In a previous life, I worked on computer vision at Apple; before that, I was a student at the École Normale Supérieure de Paris. I hold two Master's degree, the MPRI in theoretical Computer Science and the MVA in Computer Vision and Machine Learning.

My full CV is available here.