Complex sentence: Jean-Yves Girard (born 1947) is a French logician working in proof theory, research director (emeritus) at the mathematical institute of Luminy.
Split into simpler sentences: Jean-Yves Girard (born 1947) is a French logician working in proof theory. He is the research director (emeritus) at the mathematical institute of Luminy.