Gordon S. Novak Jr.
Areas of Interest:
Automatic programming by reuse of generic algorithms, automatic solution
of physics problems, artificial intelligence, compilers, Lisp.
Office Phone: (512) 471-9569
- University of Texas at Austin
- B.S. in Electrical Engineering, with Highest Honors, 1969.
- M.A. in Computer Sciences, 1971.
- Ph.D. in Computer Sciences, 1976.
- University of Texas at Austin
- Computer Science Department, Professor, 1998 - present.
- Artificial Intelligence Laboratory, Director, 1984 - 1999.
- Computer Science Department, Instructor, 1976 - 1977;
Assistant Professor, 1978 - 1981, 1983 - 1984; Associate Professor,
1984 - 1998; Associate Chairman for Equipment, 1983 - 1985.
- Stanford University
- Computer Science Department and Heuristic Programming Project,
Visiting Assistant Professor, 1981 - 1983.
- Computer Research Laboratory, Summer 1983.
- SRI International
- Artificial Intelligence Center, Computer Scientist,
1977 - 1978.
- Tracor Inc.
- Systems Programmer and Manager of Systems Programming,
1966 - 1976.
Honors and Awards
- Nominated for Academy of Distinguished Teachers by College of
Natural Sciences, 2003.
- Nominated for Chancellor's Council Outstanding Teaching Award, 2003.
- Nominated for William David Blunk Memorial Professorship, 2003.
- Finalist for Friars Centennial Teaching Fellowship, 2002 (one of 8
finalists out of over 200 nominees).
- Teaching Excellence Award, College of Natural Sciences, 1998.
- Senior Member of IEEE.
- Tau Beta Pi, Eta Kappa Nu engineering honorary societies.
- Hamilton Award for being the highest-ranked graduating senior
in the College of Engineering, University of Texas, Jan. 1969.
- Editorial Board, Applied Intelligence (Springer), up to about 2017.
- Executive Advisory Board, Dictionary of Science and Technology,
Academic Press, 1992.
- Program Committee, IEEE International Conference on
Information Reuse and Integration (IRI), 2009 - 2012.
- Program Committee, 10th International Conference on Industrial
and Engineering Applications of Artificial Intelligence and Expert Systems,
June 10-13, 1997, Atlanta GA.
- Program Committee, 9th International Conference on Industrial and
Engineering Applications of Artificial Intelligence and Expert Systems,
Fukuoka, Japan, June 1996.
- Program Committee, Knowledge-Based Software Engineering Conference
- Program Committee, AAAI Fall 1995 Symposium on
Computational Models for Integrating Language and Vision.
- Reviewed papers for Artificial Intelligence,
IEEE Computer, Applied Intelligence,
IEEE Expert, IEEE Transactions on Knowledge and Data Engineering,
Automated Software Engineering, Computational Intelligence,
PLOS, IJCAI and AAAI conferences, Data and Knowledge Engineering,
- Reviewed textbooks for publishers.
- Graduate Adviser, 2001-2007.
- Vulcan Inc., Design of a system
to solve physics problems as found on the AP Physics exam.
(collaboration with Bruce Porter's group, SRI, Boeing)
$92,000 for 2005-06, $40,000 2004-05, approx. $20,000 2003-04.
- U.S. Army Research Office (with R. Causey, V.
Kumar, B. Porter, E. Rich, R. F. Simmons), Artificial Intelligence Project,
1984-1990, $6,640,879. Research on automatic programming and abstract
data types using the GLISP system, and on understanding and solving
physics problems specified by English text and diagrams.
- Hewlett-Packard, grant of 60 workstations, peripherals,
and software, 1985-89, approximate value $5,822,000.
- Xerox Corporation (with K. M. Chandy, J. C. Browne, J. Misra),
Grant of 30 Xerox workstations, file servers, and print servers, 1984;
approximate value $1,200,000.
- NSF and NIE, ``Cognitive Processes and Knowledge Structures Used
in Solving Physics Problems,'' 1979-82, $100,000.
- ``Diagrams for Solving Physical Problems,'' in Janice Glasgow,
N. Hari Narayanan, and B. Chandrasekaran, eds., Diagrammatic Reasoning:
Cognitive and Computational Perspectives, AAAI Press / MIT Press, 1995,
- ``Artificial Intelligence'' (short essay), in Academic Press
Dictionary of Science and Technology, 1992, p. 160.
- Edited approximately 4,660 definitions and wrote 729 new definitions
of terms in the areas of Artificial Intelligence and Computers for the
Academic Press Dictionary of Science and Technology, 1992.
- ``GLISP: A Lisp-based Language with Data Abstraction,''
in Readings from A.I. Magazine, AAAI Press, 1988, pp. 545-555.
- ``Computer aided software design via inference and constraint
propagation,'' Integrated Computer-Aided Engineering, vol. 16,
no. 3 (2009), pp. 181-191.
- ``Software Reuse by Specialization of Generic Procedures through Views,''
IEEE Transactions on Software Engineering, vol. 23, no. 7 (July 1997),
- ``Creation of Views for Reuse of Software with Different Data
Representations,'' IEEE Transactions on Software Engineering,
vol. 21, no. 12 (Dec. 1995), pp. 993-1005.
- ``Conversion of Units of Measurement,'' IEEE Transactions on
Software Engineering, vol. 21, no. 8 (Aug. 1995), pp. 651--661.
- Novak and W. Bulko, ``Diagrams and Text as Computer Input,''
Journal of Visual Languages and Computing 4 (1993), pp. 161-175.
- Novak, F. Hill, M. Wan, and B. Sayrs, ``Negotiated Interfaces
for Software Reuse,'' IEEE Transactions on Software Engineering, vol. 18,
no. 7 (July 1992), pp. 646-653.
- H.-J. Kook and Novak, ``Representation of Models for Expert Problem
Solving in Physics,'' IEEE Transactions on Knowledge and Data
Engineering, vol. 3, no. 1 (March 1991), pp. 48-54.
- ``GLISP: A Lisp-based Language with Data Abstraction,'' A. I.
Magazine, vol. 4, no. 3 (Fall 1983), pp. 37-47.
- ``Computer Understanding of Physics Problems Stated in Natural
Language,'' American Journal of Computational Linguistics,
Microfiche 53, 1976. Reviewed in Computing Reviews, vol. 19,
no. 1 (Jan. 1978), pp. 9-10.
- R.F. Simmons and Novak, ``Semantically Analyzing an English Subset
for the Clowns Microworld,'' American Journal of Computational
Linguistics, Microfiche 18, 1975.
- Yulin Li and Gordon Novak, "Generation of Geometric Programs
Specified by Diagrams", Proc. Generative Programming and Component
Engineering 2011 (GPCE-11), Portland OR, Oct. 2011, pp. 63-72.
- ``Coupling Data Understanding with Software Reuse",
2008 IEEE International Conference on Information Reuse and
Integration (IRI-2008), Las Vegas NV, July 2008, pp. 110-115.
- ``Interactions of Abstractions in Programming,''
Abstraction, Reformulation, and Approximation: 4th Int'l Symposium;
Proc. SARA-2000, Horseshoe Bay, TX, July 2000. Lecture Notes in
Artificial Intelligence 1864, pp. 185-201, ISBN 3-540-67839-5,
- ``Reuse by Specialization through Views,'' Proc. 9th Annual
Workshop on Software Reuse, (WISR99) Austin, TX, Jan. 1999.
- ``Composing Reusable Software Components through Views,''
Proc. 9th Knowledge-Based Software Engineering
Conference (KBSE-94), Monterey, CA, Sept. 1994, pp. 39-47, IEEE Computer
- ``Generating Programs from Connections of Physical Models,''
Proc. Tenth Conference on Artificial Intelligence for Applications
(CAIA-94), San Antonio TX, March 1994, pp. 224-230, IEEE Computer
- ``Software Reuse through View Type Clusters,'' Proc. 7th
Knowledge-Based Software Engineering Conf., McLean, VA, Sept. 1992,
pp. 70-79, IEEE Computer Society Press.
- Novak and W. Bulko ``Uses of Diagrams in Solving Physics Problems,''
1992 AAAI Spring Symposium on Reasoning with Diagrammatic Representations,
Stanford, March 1992, pp. 142-147, AAAI Press.
- R.-J. Chang and Novak, ``Computational Reflection in Executions of
Knowledge Level Models,'' OOPSLA 1991 Workshop on Reflection and Metalevel
Architectures in Object-Oriented Programming, Phoenix AZ, Oct. 1991.
- R.-J. Chang and Novak, ``Components of Expertise for Knowledge Level
Modeling,'' 3rd International Conference on Tools for Artificial Intelligence,
IEEE Computer Society, San Jose, CA, Nov. 1991.
- Novak, Hill, Wan, Sayrs, ``Interactive Specification of Views for Reuse of
Abstract Programs,'' Workshop on Automating Software Design, American
Association for Artificial Intelligence Conference (AAAI-91), Anaheim, CA,
July 1991, pp. 138-145.
- Novak and W. Bulko, ``Understanding Natural Language with Diagrams,''
Proc. National Conference on Artificial Intelligence (AAAI-90),
Aug. 1990, pp. 465-470.
- H.-J. Kook and Novak, ``Representation of Models for Solving Real-world
Physics Problems,'' Proc. 6th IEEE Conf. on A.I. Applications,
March 1990, pp. 274-280.
- ``Data Abstraction in GLISP,'' Proc. SIGPLAN '83 Symposium on
Programming Language Issues in Software Systems, SIGPLAN Notices,
vol. 18, no. 6, June 1983, pp. 170-177.
- ``Knowledge Based Programming Using Abstract Data Types,'' Proc.
National Conf. on Artificial Intelligence (AAAI-83), Washington, D.C.,
Aug. 1983, pp. 288-291.
- ``GLISP: A High-Level Language for A.I. Programming,''
Proc. National Conference on Artificial Intelligence (AAAI-82),
Pittsburgh, PA, Aug. 1982, pp. 238-241.
- ``GLISP: An Efficient, English-like Programming Language,''
Proc. Third Annual Conference of the Cognitive Science
Society, Berkeley, CA, August 1981, pp. 249-251. Abstract published in
American Journal of Computational Linguistics, vol. 7, no. 4
(Oct.-Dec. 1981), p. 279.
- Novak and A. Araya, ``Research on Expert Problem Solving in Physics,''
Proc. First Annual National Conference on Artificial Intelligence
(AAAI-80), Stanford, CA, pp. 178-180, August 1980.
- ``Representations of Knowledge in a Program for Solving Physics
Problems,'' Proc. 5th International Joint Conference on
Artificial Intelligence (IJCAI-77), Cambridge, MA, August 1977, pp. 286-291.
- ``Optimized Machine-Independent Extended FORTRAN for Mini-Computer
Programming,'' Proc. ACM SIGMINI/SIGPLAN Interface Meeting on Programming
Systems in the Small Processor Environment, March 1976. ACM SIGPLAN
Notices, Vol. 11, No. 4 (April 1976).
- Hike descriptions and photos, in
The Best Rocky Mountain National
Park Hikes, Ward Luthi (Ed), Colorado Mountain Club Press, 2013.
- ``Robert F. Simmons: In Memoriam,'' A.I. Magazine,
vol. 16, no. 3 (Fall 1995), pp. 65-66.
- ``Computational and Brain Representations of Imagery'' (commentary
on a paper by Janice Glasgow), Computational Intelligence, vol. 9, no. 4
(Nov. 1993), pp. 398-401.
- Letter in response to M. V. Wilkes, Communications of the ACM
vol. 35, no. 12 (Dec. 1992), pp. 13-14.
- Novak, R. Causey, V. Kumar, J. Werth, B. Porter, V. Hwang,
Editor and co-author,
``Introduction to Artificial Intelligence and Expert Systems'' (40-hour
videotaped course with exercises), Morgan Kaufmann Publishers, 1988.
- ``Artificial Intelligence,'' Discovery, vol. 9, no. 3 (1985),
pp. 10-12, Univ. of Texas.
- Novak, G., ``GLISP User's Manual,'' abstract published in American
Journal of Computational Linguistics, vol. 8, no. 2 (April-June 1982),
p. 90. Published in microfiche and on-line,
Artificial Intelligence Series, Scientific Datalink, New York, 1982.
Several interactive demonstrations of software have been made
available on the web:
- Unit Conversion Server: Any combination of physical units can be
converted to any equivalent combination.
Unit Conversion Demo
- Physics Problem Solver: This program solves simple math and
physics problems stated in English.
Math / Physics Solver
Several other interactive demonstrations were made available,
but had to be removed due to security concerns:
- Automatic Programming Server: This system can accept descriptions
of the user's data, make views of user types as abstract data types,
and generate versions of generic procedures that are specialized
for the user's data. The specialized procedures can be delivered in
Lisp, C, C++, Java, or Pascal.
- VIP: This system generates scientific programs from diagrams
of physical and mathematical principles and connections between
- ISAAC: This program solves physics problems stated in English.
Videotape demonstration at 9th Knowledge-Based Software
Engineering Conference (KBSE-94), Monterey, CA, Sept. 20--22, 1994.
- Unit conversion software released as a Debian package, cl-units,
The software is described in ``Conversion of Units of Measurement,''
IEEE Transactions on Software Engineering, vol. 21, no. 8
(Aug. 1995), pp. 651-661.
Conversion of Units of Measurement
- Novak, Nguyen, Schelter, X windows interface for Gnu Common Lisp (GCL),
made available by FTP, 1995.
The software is described in an on-line reference manual, ``Interface
from GCL to X Windows.'' Incorporated into Gnu Common Lisp, 2006.
- Novak, Sowmya Ramachandran: Scheme Tutor, 2001. This program
presents practice problems using the Scheme language, then provides
specific instruction for common wrong answers.
- Web Calendar software, made available by FTP, 1996.
- TMYCIN expert system shell, made available by FTP; over 100 copies
furnished on disk or by electronic mail, 1985 - present. TMYCIN is
described in the report ``TMYCIN Expert System Tool,'' AI-TR-87-52, 1987.
- Software for use in teaching Artificial Intelligence, furnished to
over 40 college faculty, 1990.
- GLISP compiler, made available by FTP, 1983. GLISP is described in
the ``GLISP User's Manual,'' Technical Report AI-TR-83-25, 1983.
Ph.D. Students Supervised
- Agustin A. Araya, ``Learning by Practice Using Experimentation and
Generalization Techniques,'' July 1984.
- William Charles Bulko, ``Understanding Coreference in a System for
Solving Physics Word Problems,'' May 1989.
- Hyung Joon Kook, ``A Model-Based Representational Framework for
Expert Physics Problem Solving,'' May 1989.
- Xiang-Seng Lee, ``Temporal and Spatial Analysis in Knowledge-Based
Physics Problem Solving,'' Dec. 1992.
- Ms. Ruey-Juin Chang, ``Cliche-Based Modeling for Expert Problem-Solving
Systems,'' May 1993.
- Donovan Kolbly, ``Extensible Language Implementation,'' Dec. 2002
(took over supervision from Paul Wilson).
- Yulin Li, "The Diagrammatic Specification and Automatic Generation
of Geometry Subroutines", May 2010.
M.A. Students Supervised
Gildardo Zarza-Arronte, Margaret Reed-Lade, Laurence E. Clay,
Yusuf Mauladad, William Joseph Cassell, Jerry D. Alderson Jr.,
Man-Lee Wan, Christopher Allan Rath, Fredrick Hill.
| CS 102 || Lisp (at Stanford)|
| CS 307 || Foundations of Computer Science|
| CS 314 || Data Structures|
| CS 315 || Algorithms and Data Structures|
| CS 343 || Artificial Intelligence|
| CS 372 || Operating Systems|
| CS 375 || Compilers|
| CS 378 || Symbolic Programming|
| CS 381K || Artificial Intelligence|
| CS 395T || Expert Systems|
| CS 394P || Automatic Programming|