Benoît Sauzay

Benoît Sauzay a passé une thèse sur la sémantique des langages fonctionnels. Il s'intéresse à l'intelligence artificielle à travers les concepts mis en oeuvre par la compilation informatique.