Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Mathematician
|
| gptkbp:affiliatedWith |
gptkb:University_of_Pennsylvania
|
| gptkbp:hasAwards |
Best Paper Award
|
| gptkbp:hasContribution |
Participated in academic conferences
Developed algorithms for geometric problems Mentored students in mathematics and computer science Contributed to educational resources in mathematics Published papers on logic and computation |
| gptkbp:hasFieldOfUse |
Computer Science
Mathematics |
| gptkbp:hasPublications |
gptkb:The_Visual_Computer
Mathematical Logic Computer_Graphics |
| gptkbp:hasResearchInterest |
Algorithms
Artificial Intelligence Graph Theory Computational Geometry Mathematical_Modeling |
| https://www.w3.org/2000/01/rdf-schema#label |
James Gallier III
|
| gptkbp:knownFor |
Contributions to mathematical logic
|