We don't have a biography for Jean-Philippe Robin yet. Hang in there, or go ahead and contribute one.
