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|http://iml.univ-mrs.fr/~girard/).
