Jean-Yves Girard () é um lógico francês que trabalha em teoria da prova. Suas contribuições incluem a prova da normalização forte (do inglês strong normalization) do sistema de lógica de segunda ordem chamado sistema F; a invenção de lógica linear; de geometria da interação; e de ludics. Ele também inventou o relógio de mostarda.
Aluno da École normale supérieure de Fontenay-Saint-Cloud (Escola superior de Saint-Cloud), Girard é um diretor de pesquisa da CNRS em Marseille e um membro correspondente da Academia Francesa de Ciências.
Ligações externas Girard's home page
Girard's bibliography (via DBLP) Journées Jean-Yves Girard web site of 2007 conference in honour of Girard's 60th birthday
Categoria:Lógicos da França Categoria:Matemáticos da França Categoria:Membros da Academia de Ciências da França