Engineer Supervised by Didier Parigot