Elaine Kant
Elaine Kant’s work connects AI with program construction. Her research concerns software synthesis, algorithm design, and the representation of mathematical knowledge in computing systems. Kant studied mathematics at MIT and earned a computer science doctorate at Stanford. It gives no dates for those degrees. Her work includes books and technical work on software synthesis, automated algorithm design, and scientific computing environments.
- Works
- 46
- Citations
- 1,222
- h-index
- 15
Publication numbers from OpenAlex, as of 14 October 2026.
Timeline
-
1991
Research recognition
AAAI elected Elaine Kant as a Fellow in 1991.
-
As of October 2026
Education in mathematics and computing
Kant studied mathematics at MIT and earned a computer science doctorate at Stanford.
-
As of October 2026
Research on constructing programs
Her work includes books and technical work on software synthesis, automated algorithm design, and scientific computing environments.
-
As of October 2026
Mathematical knowledge in SciNapse
Kant was the SciNapse system’s chief architect. She represented mathematical knowledge in the system’s problem-solving engines.
Sources and credits
Photo: hertzfoundation.org; Elaine Kant - Hertz Foundation; creator not stated. License: Not stated by source. Source: hertzfoundation.org. Cropped to a square and resized. Ask us to remove or replace this photo.