Jean-Yves Girard
Jean-Yves Girard is a person, mathematician working on formal logic and theoretical aspects of computing. His most remarkable results are linear logic (see Linearity 101 in the Learning Lounge) and geometry of interaction. His page, with papers, is here.This page is linked from: Geometry of Interaction Machine