Gallier was born January 5, 1949 in
Nancy, France, and holds dual French and American citizenship. He earned his baccalauréat at the Lycée de Sèvres in 1966, and a degree in civil engineering at the École Nationale des Ponts et Chaussées in 1972.
He then moved to the  University of California, Los Angeles for his graduate studies, earning a Ph.D. in computer science in 1978 under the joint supervision of Sheila Greibach and Emily Perlinski Friedman. His dissertation was entitled Semantics and Correctness of Classes of Deterministic and Nondeterministic Recursive Programs. 
After postdoctoral study at the  University of California, Santa Barbara, he joined the University of Pennsylvania Department of Computer and Information Science in 1978. At Pennsylvania, he was promoted to full professor in 1990, gained a secondary appointment to the Department of Mathematics in 1994, and directed the French Institute of Culture and Technology from 2001 to 2004.  Contributions Edit Selected publications Edit
Research papers Edit
Dowling, William F.; Gallier, Jean H. (1984), "Linear-time algorithms for testing the satisfiability of propositional Horn formulae", Journal of Logic Programming, 1 (3): 267–284, doi: 10.1016/0743-1066(84)90014-1, MR 0770156 .
Gallier, Jean H. (1986), Logic for Computer Science: Foundations of Automatic Theorem Proving, Wiley . 2nd ed., Dover Publications, 2015. 
Gallier, Jean (1999), Curves and Surfaces in Geometric Modeling: Theory and Algorithms, The Morgan Kaufmann Series in Computer Graphics and Geometric Modeling, San Francisco, CA: Morgan Kaufmann, ISBN 1-55860-599-1 .  References Edit
^ a b c
Curriculum vitae, retrieved 2017-03-26.
Jean Gallier at the Mathematics Genealogy Project
Dechter, Rina (2003), , The Morgan Kaufmann Series in Artificial Intelligence, San Francisco, CA: Morgan Kaufmann, p. 307, Constraint Processing ISBN 9781558608900 CS1 maint: discouraged parameter (. link)
Pfenning, Frank (1989), "Review: Jean H. Gallier, Logic for Computer Science. Foundations of Automatic Theorem Proving" (PDF), Journal of Symbolic Logic, 54 (1): 288–289, doi: 10.2307/2275035, JSTOR 2275035 .
^ Kallay, Michael (2001), Review of
Curves and surfaces in geometric modeling, MR 1823812.
^ Jüttler, Bert (2001), Review of
Geometric methods and applications, MR 1792535. Updated for 2nd ed., 2012, MR 2663906.
Williams, Hugh (November 2002), "Geometric Methods and Applications for Computer Science and Engineering", The Mathematical Gazette, 86 (507): 564, doi: 10.2307/3621198, JSTOR 3621198 .
^ Hunacek, Mark (2011),
Review of , Geometric methods and applications Mathematical Association of America.
^ Pinter, Gabriella (2012),
Review of , Discrete Mathematics Mathematical Association of America.
^ Löh, Clara, Review of
A guide to the classification theorem for compact surfaces, MR 3026641.
^ Wood, Bill (2014),
Review of , A Guide to the Classification Theorem for Compact Surfaces Mathematical Association of America. External links Edit