National Computational Science Institute, a national dissemination NSF grant to spread the word about computational science.
Moderator of Large Scale Scientific and Engineering Validation and Verification mailing list.
The Rosetta Stone Papers that try to tie old time-y computational theory to category theory.
Professor Stevenson is interested in the development of a computational science and engineering (CS&E) infrastructure in the K--12, university, and industrial settings. Clemson computer science and mathematical sciences have been active in CS&E from the very beginning. For early information see John Rice's "Academic Programs in Computational Science and Engineering" (IEEE Computational Science & Engineering, 1(1). Spring 1994). We have an outdated CS&E home page. Other organized involvement in CS&E education is through the Shodor Education Foundation
The scientific fundamentals of CS&E were first laid out in "Science, Computational Science, and Computer Science: At a crossroads" (Communications of the ACM. 37(12). 85-96.).
Computational science and engineering studies the proper conduct of science and engineering on computers. There are three basic aspects based on the original ACM article.:
We have come a long way since our first CSE paper in 1991. In October, 2002, Shodor Education Foundation, Inc. received a $2.75M grant to promote computational science education nationwide through a series of workshops. The schedule and other pertinent information is on the National Computational Science Institute website.
This picture remains correct even if we extend CS&E beyond science and engineering. A new model is hinted at in my article "How Goes CS&E : The First IEEE Workshop Revisited" in IEEE Computational Science and Engineering, Summer, 1997. The proposed model is P3:
Papers of interest in the area for curricular development are
CACM preprint from the December, 1994 issue.
A proposed curriculum for a bachelor of arts degree in computational science.
The text of a proposal for an introductory CSE course.
A paper relating computational science and software engineering practices.
Why should you care? After all, isn't this just academic babble?
There are ample indications that the quality of software just isn't what it should be. The most famous and accessible listing of the indictments against computer science quality are found in the work of Peter Neuman. This work leads to the work of people like Nancy Leveson. Many of their stories are not related to the unique problems of CSE. I have tried to pull some stories together in my Stories file (Postscript version). Any and all contributions gratefully accepted.
The question of quality is a deep one. Supposedly, software engineers worry about such things. However, the methods of the software engineer do not jibe well with the methods of the physicist, engineer, or mathematician. Therefore, new methods are needed. One take is given in my submitted article "A Critical Look at Design, Verification, and Validation of Large Scale Simulations " to appear in IEEE Computational Science and Engineering
I have some basic ideas about V&V that I wanted to try out on the Michelson-Morley experiment of the 1880s. The write up for the European Simulation Multiconference is now available. The slides are also available.
The ongoing saga of VV&A. There are, of course, real people doing VV&A everyday. The Defense Modeling and Simulation Office (DMSO) is one clearing house. But how to use all the stuff people are saying? Here's an example, based on the Michelson-Morley paper noted above
Building on the Michelson-Morley experience, we have developed a variant of some work done by Good, Polya, and Jaynes. This foundation is termed An Evidence-Based Approach to Fidelity. Note that fidelity is the term used in the defense establishment, whereas science uses the term validation.
Going back to the well, a much expanded version of the Michelson-Morley experiment is available as a pre-print.
One of the questions for V&V is whether or not we can use formal methods. The Verificaton and Validation of Complex Systems paper points out that verification and validation are formally related.
The Foundations '02 Workshop, Foundations for Verification and Validation in the 21st Century, was held at Johns Hopkins Applied Physics Laboratory on October 22--24, 2002. A review of the research problems discussed is in SCSC '03. The proceedings are available from the Defense Modeling and Simulation Office and mirrored at Clemson University. The plans for A Foundations '04 are in the works. Information on Foundations '04 are available.
The DEVS formalism of Bernard Zeigler, et al., has a natural formulation in category theory. The first vesion of this formulation is to appear at the SCSC '03
A study of the foundations of computation is in order. There are two questions to look at. I take the view that the "classical" Turing-Kleene view is not a correct one and that we should demand constructive and not classical approaches only. This view is expounded in What is Computational Knowledge and How Do We Acquire It?
The philosophy only comes after one has investigate the basis of it all. But where do the basic tenets of computation come from? The begin at the beginning means reinterpreting Euclid. Could Euclid be constructive? See Principles of Constructive Euclidean Geometry
Two talks, a bit dated, recently given at the University of Stockholm, Stockholm, Sweden. The slides for those presentations are available:
A paper documenting an invited presentation at a workshop held at the Mathematics Department, Stockholm University. This workshop discussed the computation and the Internet.
A paper outlining the foundations of a new programming language called eb. I outline a constructive system that is different from the lambda-calculus and Martin-L\"of theories in vogue.
A paper outlining the W2C project. W2C takes modified Warrren Abstract Machine (WAM) programs and generates C code. Submitted to Journal of Logic Programming.
"1001 Reasons For Not Proving Your Program Correct" is a philosophical piece concerning program correctness proofs. We try to identify the arguments against from results of a survey of practitioners. [This is a postscript file from a FrameMaker file. The Pages (blush) are backwards and the original is gone. Sorry about that.]
CACM is a preprint of an article to appear in the Communications of the ACM. The title of this article is "Science, Computational Science, and Computer Science: At a Crossroads". This article outlines the Clemson view of computational science. A version of CACM paper is to be presented at the Southeastern Region of SIAM
A paper relating computational science and software engineering practices. This will be presented at the 33rd Southeastern ACM Conference.