Changes

an American mathematician, computer scientist, and since 1984 Distinguished Professor of Computer Science at the [https://en.wikipedia.org/wiki/University_of_Minnesota [University of Minnesota]], [https://en.wikipedia.org/wiki/Minneapolis Minneapolis], with former appointments at [https://en.wikipedia.org/wiki/Johns_Hopkins_University Johns Hopkins University], [https://en.wikipedia.org/wiki/National_Institutes_of_Health National Institutes of Health], [https://en.wikipedia.org/wiki/Bethesda,_Maryland Bethesda, Maryland], [https://en.wikipedia.org/wiki/Naval_Research_Laboratory Naval Research Laboratory], [[Lawrence Livermore National Laboratory|Lawrence Radiation Laboratory]], [https://en.wikipedia.org/wiki/University_of_California University of California] and [[Massachusetts Institute of Technology]]. As [https://en.wikipedia.org/wiki/Freshman Freshman] [https://en.wikipedia.org/wiki/Calculus Calculus] Student and Ph.D. candidate at MIT, supervised by [[Marvin Minsky]] <ref>[http://web.media.mit.edu/~minsky/people.html Personal page for Marvin Minsky]</ref> in 1961, he wrote his dissertation entitled ''Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus, Symbolic Automatic Integrator (Saint)'' <ref>[https://www.genealogy.math.ndsu.nodak.edu/id.php?id=41537 The Mathematics Genealogy Project - James Robert Slagle]</ref>, which is acknowledged as first [https://en.wikipedia.org/wiki/Expert_system Expert system] <ref>[http://what-when-how.com/inventions/saint-inventions/ SAINT (Inventions) - what-when-how] (states James R. Slagle died in 1994)</ref>. His further research interests covers [https://en.wikipedia.org/wiki/Heuristic heuristic] [https://en.wikipedia.org/wiki/Automated_theorem_proving Theorem-Proving] and as application heuristic [[Search|search]].