Elaine Kant

Last updated

Elaine Kant is an American computer scientist known for her work in artificial intelligence, program synthesis, and computational finance.

Contents

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]

Related Research Articles

<span class="mw-page-title-main">Gerald Jay Sussman</span> American computer scientist

Gerald Jay Sussman is the Panasonic Professor of Electrical Engineering at the Massachusetts Institute of Technology (MIT). He has been involved in artificial intelligence (AI) research at MIT since 1964. His research has centered on understanding the problem-solving strategies used by scientists and engineers, with the goals of automating parts of the process and formalizing it to provide more effective methods of science and engineering education. Sussman has also worked in computer languages, in computer architecture, and in Very Large Scale Integration (VLSI) design.

<span class="mw-page-title-main">Allen Newell</span> American cognitive scientist

Allen Newell was an American researcher in computer science and cognitive psychology at the RAND Corporation and at Carnegie Mellon University's School of Computer Science, Tepper School of Business, and Department of Psychology. He contributed to the Information Processing Language (1956) and two of the earliest AI programs, the Logic Theorist (1956) and the General Problem Solver (1957). He was awarded the ACM's A.M. Turing Award along with Herbert A. Simon in 1975 for their contributions to artificial intelligence and the psychology of human cognition.

OPS5 is a rule-based or production system computer language, notable as the first such language to be used in a successful expert system, the R1/XCON system used to configure VAX computers.

<span class="mw-page-title-main">Charles E. Leiserson</span> American computer scientist

Charles Eric Leiserson is a computer scientist and professor at Massachusetts Institute of Technology (M.I.T.). He specializes in the theory of parallel computing and distributed computing.

<span class="mw-page-title-main">Deborah McGuinness</span>

Deborah Louise McGuinness is an American computer scientist and researcher at Rensselaer Polytechnic Institute (RPI). She is a professor of Computer, Cognitive and Web Sciences, Industrial and Systems Engineering, and an endowed chair in the Tetherless World Constellation, a multidisciplinary research institution within RPI that focuses on the study of theories, methods and applications of the World Wide Web. Her fields of expertise include interdisciplinary data integration, artificial intelligence, specifically in knowledge representation and reasoning, description logics, the semantic web, explanation, and trust.

Alan Mackworth is a professor emeritus in the Department of Computer Science at the University of British Columbia. He is known as "The Founding Father" of RoboCup. He is a former president of the Association for the Advancement of Artificial Intelligence (AAAI) and former Canada Research Chair in Artificial Intelligence from 2001 to 2014.

Richard Jay Waldinger is a computer science researcher at SRI International's Artificial Intelligence Center whose interests focus on the application of automated deductive reasoning to problems in software engineering and artificial intelligence.

<span class="mw-page-title-main">Manuela M. Veloso</span> Portuguese-American computer scientist

Manuela Maria Veloso is the Head of J.P. Morgan AI Research & Herbert A. Simon University Professor Emeritus in the School of Computer Science at Carnegie Mellon University, where she was previously Head of the Machine Learning Department. She served as president of Association for the Advancement of Artificial Intelligence (AAAI) until 2014, and the co-founder and a Past President of the RoboCup Federation. She is a fellow of AAAI, Institute of Electrical and Electronics Engineers (IEEE), American Association for the Advancement of Science (AAAS), and Association for Computing Machinery (ACM). She is an international expert in artificial intelligence and robotics.

Jean-Claude Latombe is a French-American roboticist and the Kumagai Professor Emeritus in the School of Engineering at Stanford University. Latombe is a researcher in robot motion planning, and has authored one of the most highly cited books in the field.

David Leigh Waltz was a computer scientist who made significant contributions in several areas of artificial intelligence, including constraint satisfaction, case-based reasoning and the application of massively parallel computation to AI problems. He held positions in academia and industry and at the time of his death, was a professor of Computer Science at Columbia University where he directed the Center for Computational Learning Systems.

<span class="mw-page-title-main">Barbara J. Grosz</span> American computer scientist (born 1948)

Barbara J. Grosz CorrFRSE is an American computer scientist and Higgins Professor of Natural Sciences at Harvard University. She has made seminal contributions to the fields of natural language processing and multi-agent systems. With Alison Simmons, she is co-founder of the Embedded EthiCS programme at Harvard, which embeds ethics lessons into computer science courses.

<span class="mw-page-title-main">Dan Roth</span> Professor of Computer Science at University of Pennsylvania

Dan Roth is the Eduardo D. Glandt Distinguished Professor of Computer and Information Science at the University of Pennsylvania.

<span class="mw-page-title-main">Michael Wooldridge (computer scientist)</span> British computer scientist

Michael John Wooldridge is a professor of computer science at the University of Oxford. His main research interests is in multi-agent systems, and in particular, in the computational theory aspects of rational action in systems composed of multiple self-interested agents. His work is characterised by the use of techniques from computational logic, game theory, and social choice theory.

<span class="mw-page-title-main">Carla Gomes</span> Portuguese-American computer scientist

Carla Pedro Gomes is a Portuguese-American computer scientist and professor at Cornell University. She is the founding Director of the Institute for Computational Sustainability and is noted for her pioneering work in developing computational methods to address challenges in sustainability. She has conducted research in a variety of areas of artificial intelligence and computer science, including constraint reasoning, mathematical optimization, and randomization techniques for exact search methods, algorithm selection, multi-agent systems, and game theory. Her work in computational sustainability includes ecological conservation, rural resource mapping, and pattern recognition for material science.

Jay Martin "Marty" Tenenbaum is an American computer scientist and entrepreneur. He is noted for his early work in artificial intelligence and as an Internet commerce pioneer.

Yolanda Gil is a Spanish computer scientist specializing in knowledge discovery and knowledge-based systems at the University of Southern California (USC). She served as chair of SIGAI the Association for Computing Machinery (ACM) Special Interest Group (SIG) on Artificial Intelligence, and the president of the Association for the Advancement of Artificial Intelligence (AAAI).

Lillian Lee is a computer scientist whose research involves natural language processing, sentiment analysis, and computational social science. She is a professor of computer science and information science at Cornell University, and co-editor-in-chief of the journal Transactions of the Association for Computational Linguistics.

<span class="mw-page-title-main">Cynthia Rudin</span> American computer scientist and statistician

Cynthia Diane Rudin is an American computer scientist and statistician specializing in machine learning and known for her work in interpretable machine learning. She is the director of the Interpretable Machine Learning Lab at Duke University, where she is a professor of computer science, electrical and computer engineering, statistical science, and biostatistics and bioinformatics. In 2022, she won the Squirrel AI Award for Artificial Intelligence for the Benefit of Humanity from the Association for the Advancement of Artificial Intelligence (AAAI) for her work on the importance of transparency for AI systems in high-risk domains.

Michael Genesereth is an American logician and computer scientist, who is most known for his work on computational logic and applications of that work in enterprise management, computational law, and general game playing. Genesereth is professor in the Computer Science Department at Stanford University and a professor by courtesy in the Stanford Law School. His 1987 textbook on Logical Foundations of Artificial Intelligence remains one of the key references on symbolic artificial intelligence. He is the author of the influential Game Description Language (GDL) and Knowledge Interchange Format (KIF), the latter of which led to the ISO Common Logic standard.

Edwina Luane Rissland is a retired American mathematician and computer scientist. Initially focusing on knowledge representation and the philosophy of mathematics, her later research in artificial intelligence included work on case-based reasoning and the applications of AI in legal work. She is a professor emerita in the Manning College of Information & Computer Sciences at the University of Massachusetts Amherst. In her retirement she has worked as a photographer and art curator.

References

  1. 1 2 3 4 5 6 Elaine Kant, PhD, 1976 Hertz Fellow, Hertz Foundation, retrieved 2024-06-21
  2. 1 2 Management team, SciComp, retrieved 2024-06-21
  3. Kant, E. (1979), Efficiency Considerations in Program Synthesis: A Knowledge-Based Approach, Stanford University
  4. Author biography from A commercial program synthesis system for computational finance (PDF) (Invited talk abstract), AAAI, 2002, retrieved 2024-06-21
  5. Smith, Reid G.; Schoen, Eric J.; Tenenbaum, Jay M. (January 2022), "Early AI applications at Schlumberger" (PDF), IEEE Annals of the History of Computing, 44 (1), Institute of Electrical and Electronics Engineers (IEEE): 88–102, doi:10.1109/mahc.2022.3149469
  6. Elaine Kant, Querium, retrieved 2024-06-21
  7. "Research", StepWise, retrieved 2024-06-21
  8. Elected AAAI Fellows, Association for the Advancement of Artificial Intelligence, retrieved 2024-06-21
  9. Efficiency in Program Synthesis, UMI Research Press, 1981.
  10. Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming, Addison-Wesley, 1985, with Lee Brownston, Robert Farrell, and Nancy Martin.