David Wittenberg's home page
Computer Science Dept.
Mail Stop 018
Brandeis University
Waltham, MA 02454
Phone: (781) 736-2742
Office: Room 110, Volen Center
In 2004 I completed my PhD in
Computer Science at
Brandeis University,
working with Tim
Hickey on Interval Computation and reliability of numerical
computation. My recent work is on using CLP(F) and CLP(I) to
rigorously model Hybrid Systems. I use clip, an implementation of
CLP(I) and CLP(F) which uses smath (A sound library for arithmetic
operations) to ensure that the interval constraints are calculated
soundly. clip
is available under the GPL from SourceForge.
My thesis CLP(F) Modeling of Hybrid
Systems shows that using clip one can add rigor to models of
hybrid systems.
I did some work with Eve Marder, Astrid Prinz, John Langton, and Tim
Hickey on visualizing the large data sets which neuroscience
produces.
Recently I've been working on steganography in images.
My other interests are in distributed
computing, particularly fault-tolerant or wait-free models. I've also
done some work on Cryptographic Protocols and Quantum Cryptography.
List of my papers
Abstracts of my papers
By popular request, a list of HTML syntax and
style guides
Some Interesting Pieces which circulated on email before the Web
existed
R.A. Worsing's 1967 speech on reliability.
35 years ago Worsing pleaded with IBM for more reliable computing
platforms. It's amazing how little has changed.
Worsing was director of Boeing's computer operations.
Hardware debugging in the old days
A possibly true story of debugging an early IBM 370 by Brian Hetrick.
If Kitchen Appliances were Like
Programs by Mark Weiser
One description of what a thesis requires
Last Modified: 15 July 2007
David Wittenberg
email: dkw at cs.brandeis.edu