Biography:Elaine Kant
Elaine Kant | |
|---|---|
| Alma mater | Massachusetts Institute of Technology (B.S.), Stanford University (Ph.D.) |
| Known for | Artificial intelligence, Program synthesis, Computational finance |
| Awards | Hertz Fellowship (1976), AAAI Fellow (1991), AAAS Fellow (1997) |
| Scientific career | |
| Fields | Computer science, Artificial intelligence, Computational finance |
| Institutions | Carnegie Mellon University, Schlumberger, SciComp, Querium |
| Thesis | Efficiency Considerations in Program Synthesis: A Knowledge-Based Approach (1979) |
Elaine Kant is an American computer scientist known for her work in artificial intelligence, program synthesis, and computational finance.
Education and career
Kant earned a bachelor's degree in mathematics from the Massachusetts Institute of Technology, and a Ph.D. in computer science from Stanford University.[1][2] Her 1979 doctoral dissertation was Efficiency Considerations in Program Synthesis: A Knowledge-Based Approach.[1][3]
Kant was a computer science faculty member at Carnegie Mellon University in the early 1980s.[4] As a researcher for Schlumberger in the 1980s and 1990s, she developed SciNapse, a tool for transforming mathematical models in hydrocarbon exploration into computer code. She later founded SciComp, which developed a system for automatic programming in computational finance.[5]
She is president and CEO of SciComp,[1][2] chief scientist of Querium,[1][6] and head of research for StepWise, an online secondary-school mathematics tutoring system developed by Querium.[7]
Recognition
As a doctoral student, Kant received a Hertz Fellowship in 1976.[1] She was named a Fellow of the Association for the Advancement of Artificial Intelligence in 1991,[8] and a Fellow of the American Association for the Advancement of Science in 1997.[1]
Books
Kant is the author of Efficiency in Program Synthesis (1981).[9] She is a coauthor of the 1985 book Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming, on OPS5, a rule-based language.[10]
References
- ↑ 1.0 1.1 1.2 1.3 1.4 1.5 Elaine Kant, PhD, 1976 Hertz Fellow, Hertz Foundation, https://www.hertzfoundation.org/person/elaine-kant/, retrieved 2024-06-21
- ↑ 2.0 2.1 Management team, SciComp, https://www.scicomp.com/company/management/, retrieved 2024-06-21
- ↑ Kant, E. (1979), Efficiency Considerations in Program Synthesis: A Knowledge-Based Approach, Stanford University, https://searchworks.stanford.edu/view/4592115
- ↑ Smith, Reid G.; Schoen, Eric J.; Tenenbaum, Jay M. (January 2022), "Early AI applications at Schlumberger", IEEE Annals of the History of Computing (Institute of Electrical and Electronics Engineers (IEEE)) 44 (1): 88–102, doi:10.1109/mahc.2022.3149469, https://www.reidgsmith.com/IEEE_Annals_Schlumberger.pdf
- ↑ Elaine Kant, Querium, https://www.querium.com/elaine-kant/, retrieved 2024-06-21
- ↑ "Research", StepWise, https://stepwisemath.ai/about-stepwise/, retrieved 2024-06-21
- ↑ Elected AAAI Fellows, Association for the Advancement of Artificial Intelligence, https://aaai.org/about-aaai/aaai-awards/the-aaai-fellows-program/elected-aaai-fellows/, retrieved 2024-06-21
- ↑ Efficiency in Program Synthesis, UMI Research Press, 1981.
- ↑ Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming, Addison-Wesley, 1985, with Lee Brownston, Robert Farrell, and Nancy Martin.
 |  |
