perm filename BIO.TEX[COM,LSP] blob sn#702094 filedate 1983-03-11 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00006 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input basic
C00003 00003	\ctrline{\:N Biography of John McCarthy}
C00009 00004	\ctrline{\:N  Publications}
C00023 00005	\ctrline{\:N Biography of Richard Gabriel}
C00026 00006	\ctrline{\:N Publications}
C00030 ENDMK
CāŠ—;
\input basic
\font N=cmdunh					%  Titles
\jpar 1000
\def\rm{\:a} \def\sl{\:n} \def\bf{\:q} \def\it{\:?}
\def\yskip{\penalty-50\vskip 3pt plus 3pt minus 2pt}
\def\textindent#1{\noindent\hbox to 150pt{\hskip 0pt plus 1000pt minus 1000pt#1\ 
\!}}
\def\hang{\hangindent 150pt}
\def\numitem#1{\yskip\hang\textindent{#1}}
\parskip 8pt plus2pt minus1pt
\output{\baselineskip 18pt\page}


\ctrline{\:N Biography of John McCarthy}
\vskip .5 truein
\halign to size{#\hfill\cr
{\bf Born:}\cr
{\hskip .5truein September 4, 1927 in Boston, Massachusetts}\cr}
\vskip .5 truein

\halign to size{#\hfill\cr
{\bf Education:}\cr
{\hskip .5truein B.S.  (Mathematics) California Institute of Technology, 1948}\cr
{\hskip .5truein Ph.D. (Mathematics) Princeton University, 1951}\cr}
\vskip .5 truein

\halign to size{#\hfill\cr
{\bf Honors and Societies:}\cr
{\hskip .5truein American Academy of Arts and Sciences}\cr
{\hskip .5truein American Society for the Advancement of Science}\cr
{\hskip .5truein American Mathematical Society}\cr
{\hskip .5truein Association for Computing Machinery}\cr
{\hskip .5truein IEEE}\cr
{\hskip .5truein Sigma Xi}\cr
{\hskip .5truein Sloan Fellow in Physical Science, 1957--59}\cr
{\hskip .5truein ACM National Lecturer, 1961}\cr
{\hskip .5truein A.M. Turing Award from Association for Computing Machinery, 1971}\cr
{\hskip .5truein Editorial Board, Artificial Intelligence Journal, 1975--present}\cr
{\hskip .5truein Academic Advisor, National Legal Center for Public Information, 1976--present}\cr
{\hskip .5truein Board of Directors, Information International, Inc.}\cr
{\hskip .5truein Sigma Xi National Lecturer, 1977}\cr}
\vskip .5truein

\noindent{\bf Professional Experience}

\numitem{\bf Princeton University}Proctor Fellow, Princeton University, 1950--51

\numitem{\bf Princeton University}Higgins Research Instructor in Mathematics,
Princeton University, 1951--53

\numitem{\bf Stanford University}Acting Assistant Professor of Mathematics,
Stanford University, Sept. 1953--Jan. 1955

\numitem{\bf Dartmouth College}Assistant Professor of Mathematics, Dartmouth
College, Feb. 1955--June 1958

\numitem{\bf M.I.T.}Assistant Professor of Communication Science,
M.I.T., 1958--1961

\numitem{\bf M.I.T.}Associate Professor of Communication Science,
M.I.T., 1961--1962

\numitem{\bf Stanford University}Professor of Computer Science
Stanford University, 1962--present

\numitem{\bf Stanford Univeristy}Director, Artificial Intelligence Laboratory
Stanford University, 1965--1980

\vskip .5truein
\noindent{\bf Professional Responsibilities and Scientific Interests}

\numitem{}With Marvin Minsky organized and directed the Artificial
Intelligence Project at M.I.T.

\numitem{}Organized and directs Stanford Artificial Intelligence Laboratory

\numitem{}Developed the LISP programming system for computing with
symbolic expressions, participated in the development
of the ALGOL 58 and the ALGOL 60 languages.  Present
scientific work is in the fields of Artificial
Intelligence, Computation with Symbolic Expressions,
Mathematical Theory of Computation, Time-Sharing computer
systems.

\vfill\eject
\ctrline{\:N  Publications}
\vskip .5truein

\noindent{\bf McCarthy, John (1951)}: ``Projection Operators and Partial Differential
Equations'' Ph.D.  Thesis, Princeton University.

\noindent{\bf McCarthy, John (1952)}: ``A Method for the Calculation of Limit Cycles by
Successive Approximation'' in {\sl Contributions to the Theory of Nonlinear
Oscillations II}, Annals of Mathematics Study No. 29, Princeton University,
pp. 75--79.

\noindent{\bf McCarthy, John (1953)}: ``An Everywhere Continuous Nowhere Differentiable
Function,'' {\sl American Mathematical Monthly}, December 1953, p. 709.

\noindent{\bf McCarthy, John (1954)}:  ``A Nuclear Reactor for Rockets'' {\sl Jet Propulsion},
January 1954.

\noindent{\bf McCarthy, John (1955)}:  ``The Stability of Invariant Manifolds'' Applied
Mathematics Laboratory Technical Report No. 36, Stanford University, 25
pp.

\noindent{\bf McCarthy, John (1956)}:  ``The Inversion of Functions Defined by Turing
Machines,'' in {\sl Automata Studies, Annals of Mathematical Study No. 34,}
Princeton, pp. 177-181.

\noindent{\bf McCarthy, John (1956)}:  ``Aggregation in the Open Leontief Model,''
in Progress Report of Dartmouth Mathematics Project.

\noindent{\bf McCarthy, John (1956)}:  ``Measures of the Value of Information,''
National Academy of Science, September 1956.

\noindent{\bf McCarthy, John (1956)}:  Co-editor with Dr. Claude E. Shannon of Automata
Studies, Annals of Mathematics Study No. 34.

\noindent{\bf McCarthy, John (1960)}: ``Recursive Functions of Symbolic Expressions and their
Computation by Machine,'' {\sl Comm. ACM}, April 1960.

\noindent{\bf McCarthy, John (1960)}: ``Programs with Common Sense,'' Proceedings of the
Teddington Conference on the Mechanization of Thought Processes, Her Majesty's
Stationery Office, London.

\noindent{\bf McCarthy, John (with 12 others) (1960)} ``ALGOL 60'', {\sl Numerische
Mathematik}, March 1960, also in {\sl Comm. ACM}, May 1960 and Jan. 1963.

\noindent{\bf McCarthy, John (1961)}: ``A Basis for Mathematical Theory of Computation'',
in {\sl Proc.  Western Joint Computer Conf.}, May 1961, pp. 225-238.
Later version in Braffort, P. and D. Hirschberg (eds.) {\sl Computer
Programming and Formal Systems}, North-Holland Publishing Co. (1963).

\noindent{\bf McCarthy, John (1962)}: ``Time-Sharing Computing Systems,'' in {\sl Management
and the Computer of the Future}, Martin Greenberger (ed.), MIT Press.

\noindent{\bf McCarthy, John (with Paul Abrahams, Daniel Edwards, Timothy
Hart and Michael Levin) (1962)}: 
{\sl LISP 1.5 Programmer's Manual}, M.I.T. Press, Cambridge, Mass.

\noindent{\bf McCarthy, John (1962)}: ``Computer Programs for Checking Mathematical Proofs'',
{\sl Amer. Math. Soc. Proc. of Symposia in Pure Math.}, Vol. 5.

\noindent{\bf McCarthy, John (1963)}: ``Towards a Mathematical Theory of Computation'',
in Proc.  IFIP Congress 62, North-Holland, Amsterdam.

\noindent{\bf McCarthy, John (1963)}: ``A Basis for a Mathematical Theory of Computation'', 
in P. Braffort and D. Hirschberg (eds.), {\sl Computer Programming and
Formal Systems}, North-Holland Publishing Co., Amsterdam, pp. 33-70.

\noindent{\bf McCarthy, John (1963)}: ``A Time-Sharing Debugging System for a Small
Computer'', (with Boilen, Fredkin and Licklider), Proc. AFIPS 1963 Spring
Joint Computer Conf., Spartan Books, Detroit, pp. 51-57.

\noindent{\bf McCarthy, John (1963)}: ``The Linking Segment Subprogram Language and
Linking Loader Programming Languages'', Comm. ACM, July 1963.  (with F.
Corbato and M. Daggett),

\noindent{\bf McCarthy, John (1965)}: ``Problems in the Theory of Computation'', in Proc.
IFIP Congress 65, Spartan, Washington, D.C..

\noindent{\bf McCarthy, John  (1966)}: ``A Formal Description of a Subset of Algol'',
{\sl Formal Language Description Languages for Computer Programming},
T.B. Steel, Jr. (ed.), North-Holland Publ. Co., Amsterdam, pp. 1-12.

\noindent{\bf McCarthy, John (1968}:  ``Time-Sharing Computer Systems'', in
{\sl Conversational Computers}, William Orr (ed), Wiley Publishing Company.

\noindent{\bf McCarthy, John (1966)}:  ``Information'', {\sl Scientific American}, Vol. 215.

\noindent{\bf McCarthy, John (1967)}:  ``THOR - A Display Based Time-Sharing System'', 
(with D. Brian,	G. Feldman, and John Allen)
{\sl AFIPS Conf. Proc.}, Vol. 30, (FJCC) Thompson, Washington, D.C..

\noindent{\bf McCarthy, John (1967)}:  ``Computer Control of a Hand and Eye'', in {\sl Proc.
Third All-Union Conference on Automatic Control (Technical Cybernetics)},
Nauka, Moscow, (Russian).

\noindent{\bf McCarthy, John (1968)}:  ``Programs with Common Sense,'' in M. Minsky (ed.), 
{\sl Semantic Information Processing}, M.I.T. Press, Cambridge, Mass.

\noindent{\bf McCarthy, John (1968)}:  ``A Computer with Hands, Eyes, and Ears,'' 
(with L. Earnest, D. Reddy, P. Vicens) 
{\sl Proc. AFIPS Conf.} (FJCC).

\noindent{\bf McCarthy, John and P.J. Hayes (1969)}:  ``Some Philosophical Problems from
the Standpoint of Artificial Intelligence'', in D. Michie (ed), {\sl Machine
Intelligence 4}, American Elsevier, New York, NY.

\noindent{\bf McCarthy, John (1972)}:  ``The Home Information Terminal,'' Man and Computer, 
in Proceedings International Conference, Bordeaux 1970, S. Karger, N.Y.

\noindent{\bf McCarthy, John (1973)}:  ``Mechanical Servants for Mankind,'' in {\sl Britannica 
Yearbook of Science and the Future}.

\noindent{\bf McCarthy, John (1974)}:
Book Review: ``Artificial Intelligence: A General Survey'' by Sir James
Lighthill, in {\sl Artificial Intelligence}, Vol. 5, No. 3.

\noindent{\bf McCarthy, John (1974)}:  ``Modeling Our Minds'' in {\sl Science Year 1975, The
World Book Science Annual}, Field Enterprises Educational Corporation,
Chicago, ILL.

\noindent{\bf McCarthy, John (1976)}:  ``The Home Information Terminal,'' invited presentation, 
AAAS Annual Meeting, Feb. 18-24, 1976, Boston.

\noindent{\bf McCarthy, John (1976)}:  ``An Unreasonable Book,'' a review of {\sl Computer
Power and Human Reason}, by Joseph Weizenbaum (W.H. Freeman and Co., San
Francisco, 1976) in {\sl SIGART Newsletter 58}, June 1976, also in {\sl Creative
Computing}, Chestnut Hill, Massachusetts, 1976 and in ``Three Reviews of Joseph
Weizenbaum's {\sl Computer Power and Human Reason}'', (with Bruce
Buchanan and Joshua
Lederberg), Stanford Artificial Intelligence Laboratory Memo 291, Computer
Science Department, Stanford, CA.

\noindent{\bf McCarthy, John (1977)}:
Review: {\sl Computer Power and Human Reason}, by Joseph Weizenbaum (W.H.
Freeman and Co., San Francisco, 1976) in {\sl Physics Today}.

\noindent{\bf McCarthy, John (1977)}:
``The Home Information Terminal'' {\sl Grolier Encyclopedia}.

\noindent{\bf McCarthy, John (1977)}:
``On The Model Theory of Knowledge'' (with M. Sato, S. Igarashi, and
T. Hayashi), {\sl Proceedings of the Fifth International Joint Conference
on Artificial Intelligence}, M.I.T., Cambridge, Mass.

\noindent{\bf McCarthy, John (1977)}:
``Another SAMEFRINGE'', in {\sl SIGART Newsletter} No. 61, February 1977.

\noindent{\bf McCarthy, John (1977)}:
``History of LISP'', in Proceedings of the ACM Conference on the
History of Programming Languages, Los Angeles.

\noindent{\bf McCarthy, John (1977)}:
``Epistemological Problems of Artificial Intelligence'', {\sl Proceedings
of the Fifth International Joint Conference on Artificial 
Intelligence}, M.I.T., Cambridge, Mass.

\noindent{\bf McCarthy, John (1979)}:
``Ascribing Mental Qualities to Machines'' in {\sl Philosophical Perspectives 
in Artificial Intelligence}, Ringle, Martin (ed.), Harvester Press, July 1979.

\noindent{\bf McCarthy, John (1979)}: 
``First Order Theories of Individual Concepts and Propositions'', 
in Michie, Donald (ed.) {\sl Machine Intelligence 9}, (University of
Edinburgh Press, Edinburgh).

\noindent{\bf Cartwright, Robert and John McCarthy (1979)}:
``Recursive Programs as Functions in a First Order Theory'',
in {\sl Proceedings of the International Conference on Mathematical Studies of
Information Processing}, Kyoto, Japan.

\noindent{\bf McCarthy, John (1980)}: 
``Circumscription - A Form of Non-Monotonic Reasoning'', {\sl Artificial
Intelligence}, Volume 13, Numbers 1,2, April.

\noindent{\bf McCarthy, John and Carolyn Talcott (1980)}: {\sl LISP - Programming and
Proving}, course notes, Stanford University. (to be published as a book).

\vfill\eject

\ctrline{\:N Biography of Richard Gabriel}
\vskip .5 truein
\halign to size{#\hfill\cr
{\bf Born:}\cr
{\hskip .5truein October 31, 1949 in Haverhill, Massachusetts}\cr}
\vskip .5 truein

\halign to size{#\hfill\cr
{\bf Education:}\cr
{\hskip .5truein B.A.  (Mathematics) Northeastern  University, 1972}\cr
{\hskip .5truein M.S.  (Mathematics) University of Illinois, 1975}\cr
{\hskip .5truein Ph.D. (Computer Science) Stanford University, 1980}\cr}
\vskip .5 truein

\noindent{\bf Professional Experience}

\numitem{\bf Stanford University}Research Associate, Stanford University,
1982--present

\numitem{\bf LLNL}Senior Computer Scientist, Lawrence Livermore National
Laboratory, 1981--present

\numitem{\bf Stanford University}System Programmer for Computer Science 
Department, Stanford University, 1980--1981

\numitem{\bf System Controls Inc}Research Assistant, System Controls Inc.,
1979--1980

\numitem{\bf LLNL}Computer Scientist, Lawrence Livermore National Laboratory,
June 1979--October 1979

\numitem{\bf Stanford University}Research Assistant at the Stanford Artificial Intelligence
Laboratory, 1976--1979

\numitem{\bf IBM}Programmer at IBM San Jose Research, 
June 1976--October 1976

\numitem{\bf University of Illinois}Research Assistant at the Co-ordinated Science Laboratory,
1973--1975

\vfill\eject
\ctrline{\:N Publications}
\vskip .5truein

\noindent{\bf An Optimizing Compiler for Lexically-Scoped Lisp}
(with Rodney A. Brooks and
Guy L. Steele Jr.),
SIGPLAN 82 Symposium on Compiler Construction,
June 23-25, 1982, in Boston, Massachusetts.  
Sponsored by
the Association for Computing Machinery.

\noindent{\bf Lisp Evaluation and Timing}
(with Larry M. Masinter of Xerox PARC),
1982 ACM Symposium on Lisp and
Functional Programming, August 15-18 1982, in Pittsburgh, Pennsylvania.
Sponsored by
the Association for Computing Machinery.

\noindent{\bf S-1 Common Lisp Implementation}
(with Rodney A. Brooks and
Guy L. Steele Jr.), 1982 ACM Symposium on Lisp and
Functional Programming, August 15-18 1982, in Pittsburgh, Pennsylvania.
Sponsored by
the Association for Computing Machinery.

\noindent{\bf An Organization for Programs in Fluid Domains},
Dissertation, Computer Science Department, STAN-CS-81-856, AIM-342
Stanford University.

\noindent{\bf Results in Knowledge-based Program Synthesis},
(Green, Gabriel et al), 6th IJCAI, 1979.

\noindent{\bf Computer-Assisted Diagnosis of Orthopedic Gait Disorders}
(with Kathleen B.Tracy et al),
PHYSICAL THERAPY March 1979.

\noindent{\bf Natural Language-based Information Retrieval} (with D.L. Waltz), 
Twelfth Annual
Allerton Conference Proceedings, October 1974.

\noindent{\bf Structured Descriptions}, MIT AI Lab Working Paper. August 1973.

\noindent{\bf Lisp on Vax: A Case Study} (with Martin Griss),
to appear at a Stanford Computer Science Department Technical Report.

\vskip .3truein
\ctrline{\:N Publications in Preparation or Submitted for Publication}
\vskip .3truein

\noindent{\bf Lisp-in-Lisp: High Performance}
(with Rodney A. Brooks and
Guy L. Steele Jr.),
submitted to the International Joint Conference on Artificial Intelligence,
August 1983.

\noindent{\bf A User Interface for a Timeshared System} (with Martin Frost),
to be submitted to Software Engineering; draft available).

\noindent{\bf Lisp Style} (with Rodney A. Brooks and William Scherlis),
a textbook on Lisp programming style and methodology for advanced
Lisp programmers, to be published by Harper \& Row, in progress.

\noindent Other publications include reports on programs and research performed
for ONR at Parke Mathematical Laboratories in the field of underwater acoustics
and are no longer available.

\vfill\end