---

Dr. Daniel E. Cooke

Honors

• The NASA Exceptional Achievement Medal, In recognition of extraordinary service and dedication to NASA and to the Ames Research center as the first manager of the newly created Intelligent System Program, Presented by Sean O'Keefe, NASA Administrator, June 2002.
• NASA Group Award, for Contributions to the CICT program, Presented by Sean O'Keefe, NASA Administrator, June 2002.
• NASA Ames Research Center, Information Sciences Award for Leadership in Establishing a Model Strategic Research Initiative for NASA, Presented by Dr. Harry McDonald, Director of the NASA Ames Research Center and Dr Steven Zornetzer, Director of Information Sciences and Technology, November, 2001.
• American Men and Women of Science, 1998
• Who's Who in Science and Engineering, 1998
• Chair of IEEE Technical Committee on Computer Languages.
• Senior Member IEEE, 1996
• Society of Design and Process Science Service Award, 1996
• University Distinguished Achievement in Research Award 1996
• MacIntosh-Murchison Chair in Engineering 1993
• MacIntosh-Murchison Faculty Fellow 1990-1992
• Visiting Research Professor at Naval Postgraduate School (Summers, 1991, 1992)
• ASME Petroleum Division Ralph James Award (1993)
• ASME ECTE 1993 Service Award
• American Electronics Association Fellow
• Sigma Xi
• Tau Beta Pi
• U.P.E.
• Alpha Chi.

Textbooks

• The Impact of Computer Aided Software Engineering on Software Processes. Edited and Introduced by Daniel E. Cooke. World Scientific Publishers, Ltd. Contributors: Raymond Yeh, Peter Ng, Luqi, Joseph Urban, Ron Norman, W.D. Hurley, John Baker, Patrick Bobbie, WT Tsai, Greg Boone, Nick Bourbakis, etc. 1994. The text
• A Concise Introduction to Computer Languages: Design, Experimentation, and Paradigms, by Daniel E. Cooke, Brooks-Cole Publishing Company, to appear in 2002. The text
• Logic: The Basis for Understanding Prolog, by Daniel Cooke, ABLEX. Never published but sometimes cited interesting. Some references to the book

Editorships

• Area Editor (Formal Methods) of the Journal for Software Engineering and Knowledge Engineering.
• Associate Editor of the Journal for Software Engineering and Knowledge Engineering
• Book Review Editor of the Journal for Software Engineering and Knowledge Engineering
• Special Issue of Journal of Software Engineering and Knowledge Engineering - 1991
• Special Issue of Journal of Software Engineering and Knowledge Engineering - 1992
• Special Issue of Journal of Software Engineering and Knowledge Engineering - 1998 (with Joseph Urban)
• Special Issue of Journal of Systems and Software - 1998 (with Joseph Urban)
• Co-editor COMPUTER APPLICATIONS AND DESIGN ABSTRACTION 1992 - ASME
• Editor COMPUTER APPLICATIONS AND DESIGN ABSTRACTION 1993 - ASME
• Proceedings Editor COMPSAC 1993
• Editor SOFTWARE SYSTEMS IN ENGINEERING 1994 - ASME
• Editor SOFTWARE SYSTEMS IN ENGINEERING 1995- ASME.
• Proceedings Editor IEEE ISADS 1995.
• The Impact of Computer Aided Software Engineering on Software Processes. Edited and Introduced by D.E. Cooke. World Scientific Publishers, Ltd. Contributors: Raymond Yeh, Peter Ng, Luqi, Joseph Urban, Ron Norman, W.D. Hurley, John Baker, Patrick Bobbie, WT Tsai, Greg Boone, Nick Bourbakis, etc. 1994.

Program Committees (Officer)

• Vice Program Chair IEEE TAI '92
• Symposium Chair ASME Computer Applications and Design Abstraction '93
• Symposium Chair ASME Computer Applications and Design Abstraction '94
• Chair ASME Computer Applications and Design Abstraction '95
• Chair of Workshop on Software Automation for Systems Integration Conference, 1992
• Chair of Workshop on Software Automation for International Conference on Software Engineering and Knowledge Engineering, 1993
• Chair of Workshop on Software Automation for International Conference on Software Engineering and Knowledge Engineering, 1994
• Demonstration Chair, SEKE '95
• Co-Program Chair (with Joseph Urban), International Conference on Software Engineering and Knowledge Engineering 1996.
• Chair of SDPS Systems and Software Engineering Symposium, 1996.
• General Chair, IEEE Tools with Artificial Intelligence, 1997.
• Steering Committee of SDPS Systems and Software Engineering Symposium, 1998.
• Steering Committee of Monterey Formal Methods Workshop, 1998.
• Chair of SDPS Process and Software Specifications Symposium, 2000.
• Program Chair, International Conference on Software Engineering and Knowledge Engineering 2000.

Areas of Interest

High Level Language Design, Automatic Programming, Software Engineering, and Data Mining

Selected Journal Publications Since 1995

Daniel Cooke, Elif Demirors, Onur Demirors, Ann Gates, Bernd Kraemer, Murat M. Tanik, "Languages for the Specification of Software," Journal of Systems and Software, 1996; 32:269-308.

Daniel Cooke, "An Introduction to SEQUENCEL: A Language to Experiment with Nonscalar Constructs," Software Practice and Experience, Vol. 26(11). (November, 1996) 1205-1246.

Scott A. Starks, Daniel E. Cooke, and G.R. Keller, "Establishment of the Pan American Center for Earth and Environmental Studies," Geocarto International Vol. 12 No. 3 (September, 1997) pp. 101-104.

Daniel E. Cooke and Luqi, "Logic Programming and Software Maintenance," Annals of Mathematics and Artificial Intelligence, 21 (1997) 221-229.

Daniel E. Cooke, "SequenceL Provides a Different Way to View Programming," Computer Languages 24 (1998) 1-32.

Daniel E. Cooke and David Dampier, "A Realtime Version of SequenceL," Annals of Software Engineering, Volume 7 (1999), pp. 157-176

Daniel E. Cooke "Specification Languages for Distributed Processing" invited article for Encyclopedia of Distributed Processing.

Daniel E. Cooke, Joseph Urban, and Scott Hamilton "UNIX and Beyond: An Interview with Ken Thompson," COMPUTER (May, 1999) Vol. 32 No. 5, pp. 58-64.

Daniel E. Cooke and Scott Hamilton, "New Directions for NASA Ames Research Center," COMPUTER (January 2000) Vol. 33 No. 1, pp.63-71.

Daniel E. Cooke and Vladik Kreinovich, "Automatic Concurrency in SequenceL," in Electronic Notes in Theoretical Computer Science, 25 (1999), 12 pages. The Paper

Daniel E. Cooke and Butler Hine III, Virtual Collaborations with the Real: NASAs New Era in Space Exploration, IEEE Intelligent Systems, Vol. 17 No. 2, (March-April 2002) pp. 63-69.

Daniel E. Cooke and Vladik Kreinovich, Automatic concurrency in SequenceL, Science of Computer Programming, 42 (1) (2002) pp. 115-128.

Daniel E. Cooke and Per Andersen, "Automatic Parallel Control Structures in SequenceL," Software Practice and Experience, Volume 30, Issue 14, (November 2000), 1541-1570.

List of publications from the DBLP Bibliography Server:

Selected Conference Publications Since 1995

Daniel E. Cooke, "Abstraction, Concurrency, and Communal Computing in SequenceL," IEEE COMPSAC '97, Bethesda, MD. (August,1997) pp. 188-191.

Daniel E. Cooke, "Preliminary Thoughts Concerning the Interphase Activity of Requirement Migration," Proceedings of IEEE Seventh International Conference on Software Engineering and Knowledge Engineering, (June, 1995), pp. 166-172.

Daniel E. Cooke, "A Comparison of Languages SEQUENCEL and FP," in Proceedings of the First World Conference on Integrated Design and Process Technology, Society of Design and Process Science, (December, 1995), Austin, TX, pp. 43-48.

Daniel E. Cooke, V. Kreinovich, and L. Longpre. "Which Algorithms are Feasible? Maxent Approach," In G. Erickson, editor, Maximum Entropy and Bayesian Methods, Dordecht, 1997. Kluwer.

Daniel E. Cooke, "Nested Parallelisms in SequenceL," in Proceedings of the International Conference on Software Engineering and Knowledge Engineering (June, 1998), pp. 246-250.

Daniel E. Cooke, Vladik Kreinovich, and Joseph Urban, "A Distributed Version of the SequenceL Language," invited paper in 17th IEEE Symposium on Reliable Distributed Systems, West Lafayette, Indiana, October 20-23, 1998, pp. 295-301.

Daniel E. Cooke, V. Kreinovich, and S. Starks. "ALPS: A Logic for Program Synthesis (Motivated by Fuzzy Logic," in WCCI'98 FUZZ-IEEE'98, 1998 International Conference on Fuzzy Systems, Anchorage, Alaska, May 4-9, 1998, pp.779-784.

Hung Nguyen, Vladik Kreinovich, Daniel E. Cooke, Luqi,, and Olga Koshelva, "Towards Combining Fuzzy and Logic Programming Techniques," Proceedings of VJFuzzy'98, Hanoi, Viet Nam, 1998, pp. 482-489.

Joseph E. Urban and Daniel E. Cooke, "Distributed Data Parallelisms: Specified in Descartes and Programmed in SequenceL and JAVA," in Proceedings of Fourth International Workshop on Object-oriented Real-time Dependable Systems (WORDS'99), January 27-29, 1999, Santa Barbara, CA, pp.102-109.

Daniel E. Cooke and Vladik Kreinovich, "Automatic Concurrency in SequenceL", in Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Based Systems, Carmel, California, October 23-26, pp. 47-56.

M. Duvall, P. Andersen, J. Leggoe, A. Graham, D. Cooke & J. Antonio, "A case study on the importance of compiler and other optimizations for improving super-scalar processor performance," to appear in Proceedings for Sixth International Conference on Applications of High-Performance Computers in Engineering, 26-28 January, 2000, Maui, Hawaii.

Contact Information