Julien Charles
Julien started his PhD at INRIA Sophia-Antipolis, under the supervision of Gilles Barthe and Benjamin Grégoire. He worked as a postdoctoral researcher as part of the Mobius project and the Charter project until early 2010. His interest includes program verification, Coq, and tools that are related to them. |