Dana Nau

3241 A.V. Williams Building
(301) 405-2684
Ph.D., Duke University (Computer Science)
Special Awards/Honors: 
AAAI Fellow
ACM Fellow

Dana Nau is a professor in the Department of Computer Science and the Institute for Systems Research.

His research focuses on artificial intelligence (AI), especially in the areas of game theory and AI planning. Nau also co-directs the Laboratory for Computational Cultural Dynamics.

He is a fellow of AAAI, and has received dozens of other awards and honors.

Some of Nau's best-known accomplishments include (1) discovering game-tree pathology, which has led to subsequent research by dozens of other researchers over the past three decades; (2) co-authoring the strategy-generation algorithm that enabled the Bridge Baron program to win the 1997 world championship of computer bridge; (3) leading the development of the SHOP and SHOP2 automated-planning systems, which have been used in many hundreds of projects in industry, government, and academia; (4) co-authoring a widely used graduate-level textbook, "Automated Planning: Theory and Practice."

He received his doctorate in computer science from Duke University in 1979.



Gupta SK, Regli WC, Das D, Nau DS.  1997.  Automated manufacturability analysis: A survey. Research in Engineering Design. 9(3):168-190.

Regli WC, Gupta SK, Nau DS.  1997.  Towards multiprocessor feature recognition. Computer-Aided Design. 29(1):37-51.



Regli WC, Gupta SK, Nau DS.  1995.  Extracting alternative machining features: An algorithmic approach. Research in Engineering Design. 7(3):173-192.


Gupta SK, Regli WC, Nau DS.  1994.  Integrating DFM with CAD through Design Critiquing. Concurrent EngineeringConcurrent Engineering. 2(2):85-95.

Gupta SK, Kramer TR, Nau DS, Regli WC, Zhang G.  1994.  Building MRSEV models for CAM applications. Advances in Engineering Software. 20(2–3):121-139.


Nau DS, Gupta SK, Kramer TR, Regli WC, Zhang G.  1993.  Using MRSEVs to develop machining alternatives.

Nau DS, Gupta SK, Kramer TR, Regli WC, Zhang G.  1993.  Development of machining alternatives, based on MRSEVs. Computers in Engineering.

Nau DS, Zhang G, Gupta SK, Karinthi RR.  1993.  Evaluating product machinability for concurrent engineering. Concurrent Engineering: Contemporary Issues and Modern Design Tools.



Ramsey CL, Reggia JA, Nau DS, Ferrentino A.  1986.  A comparative analysis of methods for expert systems. International journal of man-machine studies. 24(5):475-499.

Nau DS, Reggia JA.  1986.  Relationships between deductive and abductive inference in knowledge-based diagnostic problem solving. Expert Database Systems: Proceedings of the First International Workshop. New York: Benjamin Cummings.


Reggia JA, Perricone BT, Nau DS, Peng Y.  1985.  Answer Justification in Diagnostic Expert Systems-Part II: Supporting Plausible Justifications. Biomedical Engineering, IEEE Transactions on.

Reggia JA, Nau DS, Wang P, Peng Y.  1985.  A formal model of abductive inference. Information Sciences. 37:227-285.

Reggia JA, Perricone B, Nau DS, Peng Y.  1985.  Answer justification in abductive expert systems for diagnostic problem solving. IEEE Transactions on Biomedical Engineering.


Reggia JA, Nau DS.  1984.  An abductive non-monotonic logic. Workshop on Nonmonotonic Reasoning.


Reggia JA, Nau DS, Wang PY.  1983.  A New Inference Method for Frame-based Expert System. Proceedings of the National Conference on Artificial Intelligence.

Reggia JA, Nau DS, Wang PY.  1983.  Diagnostic expert systems based on a set covering model. International Journal of Man-Machine Studies. 19(5):437-460.

Reggia JA, Nau DS.  1983.  S., Wang. PY, Diagnostic Expert Systems Based on a Set Covering Model. International Journal on Man-Machine studies. 19:437–46O-437–46O.