Books by Jean Gallier

Jean Gallier received the degree of Civil Engineer from the Ecole Nationale des Ponts et Chaussees in 1972 and a Ph.D. in Computer Science from UCLA in 1978. That same year he joined the University of Pennsylvania, where he is presently a professor in CIS with a secondary appointment in Mathematics. In 1983, he received the Linback Award for distinguished teaching. Galliers research interests range from constructive logics and automated theorem proving to geometry and its applications to computer graphics, animation, computer vision, and motion planning. The author of Logic in Computer Science, he enjoys hiking (especially the Alps) and swimming. He also enjoys classical music (Mozart), jazz (Duke Ellington, Oscar Peterson), and wines from Burgundy, especially Volnay.