Dr. Daniel E. Cooke

<"Click on the photo to see the effect of more than 30 years of study and academic life."-------------------------------------->

Professor

Department of Computer Science and

Director

Center for Advanced Intelligent Systems

Texas Tech University

Lubbock, TX

Formerly

Chair of Texas Tech Computer Science Department and

Program Manager

National Strategic Initiative for Intelligent Systems

NASA Ames Research Center

Moffett Field, CA
Brief Biographical Sketch
Full Vita

NASA 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.

The NASA Group Achievement 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.

Recent News

Cooke receives the IEEE Computer Society's Technical Achievement Award in 2006 IEEE Computer Society Announcement

NASA and Texas Tech to Develop New Spacecraft Systems

Interview about automatic programming in NEWSWEEK

IEEE Software Article on Automatic Programming

Education

Bachelor of Science

Sam Houston State University, Hunstville, TX

Master of Computing Science.

Texas A&M University, College Station, TX

Doctor of Philosophy

University of Texas at Arlington, Arlington, TX

Committees

Area Editor (Software) IEEE Computer .

Area Editor (Formal Methods) of the Journal for Software Engineering and Knowledge Engineering .

Editor of Journal of Semantic Computing .

Chair, NASA-CMU High Dependability Computing Consortium Review Panel.

Chair, Scientific Advisory Council for the USRA Research Institute for Advanced Computer Science .

Member, NASA's Earth Science Enterprise Advisory Committee - Technology Subcommittee .

Advisor, NASA's Computing, Information, and Communications Technology Program .

Advisor, NASA's Intelligent Systems Program .

Member, NASA's Mars Study Committee.

Other Honors

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

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.

Program Chair, International Conference on Software Engineering and Knowledge Engineering 2007.

Areas of Interest

Declarative Languages, High Level Language Design, Automatic Programming, SequenceL, SequenceL Tutorial, Most Recent Talk on SequenceL, Talk on SequenceL, Totem Pole Carving

Selected Journal Publications Since 1995

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

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, Joseph Urban, and Scott Hamilton "UNIX and Beyond: An Interview with Ken Thompson," COMPUTER (May, 1999) Vol. 32 No. 5, pp. 58-64. The Paper

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

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. The Paper

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.

Daniel E. Cooke, Matt Barry, Michael Lowry. and Cordell Green "NASA's Exploration Agenda and Capability Engineering," COMPUTER (January 2006) Vol. 39 No. 1, pp. 63-73. The Paper

Daniel E. Cooke and J. Nelson Rushton, "Normalize, Transpose, and Distribute: An Automatic Approach for Handling Nonscalars," in progresss. The Paper

List of publications from the DBLP Bibliography Server:

DBLP website 1

Selected Conference Publications Since 1995

Daniel E. Cooke and Butler Hine III, Computer Science Research Challenges A NASA Problem-Driven View, CRA Conference on "Grand Research Challenges" in Computer Science and Engineering, June 23-26, 2002. Airlie House, Warrenton, Virginia. The Paper

Daniel E. Cooke and J. Nelson Rushton, "SequenceL - An Overview of a Simple Language," in Proceedings 2005 International Conference on Programming Languages and Compilers (PLC'05: June 27-30, 2005, Las Vegas, USA) pp. 64-70. The Paper

Daniel E. Cooke, J. Nelson Rushton, "Iterative and Parallel Algorithm Design from High Level Language Traces," Lecture Notes in Computer Science, Volume 3516, Apr 2005, Pages 891 - 894. The Paper

Daniel E. Cooke and Jason Denton, "Software Engineering as Technology Transfer," in Proceedings of the Fifteenth International Conference on Software Engineering and Knowledge Engineering, Redwood City, California, (July, 2003) pp. 340-345.

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 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," in Proceedings for Sixth International Conference on Applications of High-Performance Computers in Engineering, 26-28 January, 2000, Maui, Hawaii.

Papers in Preparation

The Role of Theory and Experiment in Language Design - A 15 Year Perspective The Paper

Proof Paper The Paper

Formal Methods, Software Process Models, and Agile Programming:Are there organizing principles for Modern Software Engineering? The Paper

Contact Information

Department of Computer Science

Texas Tech University

Lubbock, TX 79409, USA

email: dcooke at coe.ttu.edu

office phone: (806) 742-3527

fax: (806) 742-3519

The Building Used in the BBC's Series "The Office" (on the left) is as ugly as Our Building (on the right)

Engineering Center 211 · Lubbock, Tx 79409 · (806) 742-3527
Comments: webmaster@cs.ttu.edu
Last Modified: Last modified: Fri Mar 23 11:44:24 CST 2001