Person attributes
Other attributes
James Robert Slagle was born in 1934 in New York, New York, United States. Slagle is known for his work in computer science and mathematics, and mostly as a professor and educator in these fields. James is married and has five children. He is also a blind man who awarded $500 by United States President, Dwight D. Eisenhower for his work with Recording for the Blind Inc., as a blind student.
He attended St. John's University in 1955, and graduated with a bachelor's degree of science with summa cum laude. He earned his master's and doctorate's degree at the Massachusetts Institute of Technology in 1957 and 1961, respectively. There he became a staff mathematician after earning his bachelor's degree until 1963. From then Slagle worked as a group leader at Lawrence Livermore Radiation Laboratory as well as a faculty member in the department of computer science and electrical engineering at the University of California, Berkeley until 1967.
Slagle also worked at the National Institutes of Health, Bethesda, Maryland from 1967 to 1974, then at the Naval Research Laboratory, Washington until 1984. Meanwhile he held a position of professor of computer science at the University of Minnesota, Minneapolis.
He holds twenty seven publications from 1959 through the 2000s with his dissertation being A Heuristic Program the Solves Symbolic Integration Problems in Freshman Calculus, Symbolic Automatic Integrator (Saint) in 1961. His works were focused on making contributions towards symbolic automatic integrator, or Saint, theorem-proving, and M & N procedure.
With Theorem-Proving, he wrote Experiments With a Multipurpose, Theorem-Proving Heuristic Program which discusses his research in how a heuristic program searches for a constructive proof or disproof of a given proposition. He also wrote Experiments with the M & N Tree-Searching Program to share his work and research for M & N procedure.
Slagle was supervised by Marvin Minsky in 1961 as a student and Ph.D. candidate at MIT in 1961, when he wrote his dissertation, which is acknowledged as the first Expert system.
