Date: Wed, 20 Nov 1996 22:33:12 GMT
Server: Apache/1.1.1
Content-type: text/html
D. E. Stevenson

In this file...
And a picture of one of my hobbies--- beauty is important.
Just Who's is this Guy?
Check out his
vitae. You can find out where he's been
(all over), where he's worked (ditto), some of his students (a bunch),
and what he's interested in (lots of different things, wide publications).
Computational Science and Engineering
Professor Stevenson is very active in the development of Computational Science and
Engineering at Clemson and on the national scene. For more information on this work
see the
the
Clemson Computational Science and
Engineering Resource homepage. The Resource has many pointers to various
CSE activities and programs throughout the world.
There are three papers of interest in this area for curricular development:
- 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.
Computational Science and Engineering must strive to make computation and
science and interesting and fulfilling pursuit. One attempt to do this is during
the summer mentorship of South Carolina student research internships. Our
focus has been on non-Euclidean geometry viewers.
While we are talking about geometry, he is trying to lay a constructive
foundation on Euclid. A first report has been
submitted to the Logic in Computer Science conference.
Two talks were recently given at the University of Stockholm, Stockholm,
Sweden. The slides for those presentations are available:
The full presentation has been submitted
Papers
- 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
has been submitted to POPL. 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.
Possible Projects
Last updated: 11 April 1995.
Here are some ideas I've had for projects. Contact me (steve@cs.clemson.edu) if one of
them interests you.
- Implementation of a programming language to support constructive computational
science and engineering. This language is called
eb after
Errett Bishop, the developer of constructive analysis. eb
incorporates features meant to help prove CSE programs correct.
The Constructive Foundations of eb.
- Development of constructive theories of computational science.
- Computational geometry including constructive graphics.
- Given a set of n solids, find the least possible volume with the
least possible surface area. This is the "stuffing problem".
- Implementation of various graphics/visulization programs.
- Non-Euclidean geometry. Currently, one taker.
- N-dimensional geometry. Current subject of a special topics class. Here's a 4-dimensional hyperpyramid.
- Viz for aero courses in engineering.
Some examples.
- Volume rendering from electron microscope.
- Visualization package for HOOPS rapid prototyping program.
Bon Sai Beauty
A formal upright Redwood
with shari that was done partly by pealing from the top of the tree
and the balance with a knife. This was a 5 gal. nursery stock sale
plant that costing $5 for about 10 years ago. We blunt cut the top and
let the new leader establish itself before establishing the shari.
The tree is 36 inches tall. In the growing season this tree gets some
pinching on a daily basis. Pinching the thing in one sitting is a bit
much.This picture and description taken from rec.arts.bonsai.