Jean Gallier
Jean Henri Gallier (born 1949) is a researcher in computational logic at the University of Pennsylvania, where he holds appointments in the Computer and Information Science Department and the Department of Mathematics.
Biography
[edit | edit source]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.[1] 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.[1][2] 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.[1]
Contributions
[edit | edit source]Gallier's most heavily cited research paper, with his student William F. Dowling, gives a linear time algorithm for Horn-satisfiability.[DG84] This is a variant of the Boolean satisfiability problem: its input is a Boolean formula in conjunctive normal form with at most one positive literal per clause, and the goal is to assign truth values to the variables of the formula to make the whole formula true. Solving Horn-satisfiability problems is the central computational paradigm in the Prolog programming language.[3]
Gallier is also the author of five books in computational logic,[G86] computational geometry,[G99][G00] low-dimensional topology,[GX13] and discrete mathematics.[G11]
Selected publications
[edit | edit source]Research papers
[edit | edit source]| DG84. | Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..
|
Books
[edit | edit source]| G86. | Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).. 2nd ed., Dover Publications, 2015.[4]
|
| G99. | Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..[5]
|
| G00. |
| G11. | Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..[9]
|
| GX13. |
References
[edit | edit source]- ^ a b c Curriculum vitae, retrieved 2017-03-26.
- ^ Jean Gallier at the Mathematics Genealogy Project
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..
- ^ Kallay, Michael (2001), Review of Curves and surfaces in geometric modeling, Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..
- ^ Jüttler, Bert (2001), Review of Geometric methods and applications, Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).. Updated for 2nd ed., 2012, Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..
- ^ 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, Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..
- ^ Wood, Bill (2014), Review of A Guide to the Classification Theorem for Compact Surfaces, Mathematical Association of America.
External links
[edit | edit source]- Home page
- Jean Gallier publications indexed by Google Scholar
Lua error in Module:Authority_control at line 153: attempt to index field 'wikibase' (a nil value).
- Living people
- American computer scientists
- French computer scientists
- 20th-century American mathematicians
- 21st-century American mathematicians
- French mathematicians
- Mathematical logicians
- Researchers in geometric algorithms
- Theoretical computer scientists
- École des Ponts ParisTech alumni
- University of California, Los Angeles alumni
- University of Pennsylvania faculty
- Mathematicians at the University of Pennsylvania
- 1949 births
- University of Pennsylvania Department of Computer and Information Science faculty