Jean Gallier

Professor in the Computer and Information Science Department at Penn's School of Engineering and Applied Science, with a secondary appointment in the Mathematics Department; full professor since 1990. Born 1949 in Nancy, France; civil engineering at the École Nationale des Ponts et Chaussées (1972), PhD in computer science at UCLA (1978); dual French and American citizenship.

His most-cited work is with William F. Dowling: a linear-time algorithm for Horn satisfiability, the tractable fragment of SAT that Prolog runs on. His research turned in 1993 from compilers and program verification to geometry and its applications — 3D graphics, computer vision, robotics, geometric modelling, curves and surfaces, algebraic and differential geometry, medical imaging.

Author of gallier-quaintance-math-deep with jocelyn-quaintance, and of five other books across computational logic, computational geometry, low-dimensional topology and discrete mathematics. He serves his manuscripts himself from a "Books in Progress" page on departmental web space — the same hosting pattern as curtis-mcmullen and gregory-lawler, but with redistribution explicitly reserved rather than licensed away.

Related

gallier-quaintance-math-deep · jocelyn-quaintance · university-of-pennsylvania