Academic Project - Fall 1996. I'm interested in the semantics of groups of programs and computations as mutable first-class objects that communicate with each other in real-time. To help facilitate perspicuous mathematical analyses of these systems, I'm starting to acquire needed expertise in non-wellfounded set theory by carefully studying Barwise and Moss (1996), Aczel (1988), and Ponse, Rijke and Venema (1995), as well as any citations I chase outwards from there.
Work - Spring, Summer, and Fall 1996 (Part-Time). While not Unix systems administrating, I'm helping to develop a framework of distributed programs (TCL/TK, C, Perl) to automatically (with manual re-checking) locate seismic events from network and array sensor data. I co-authored a poster session at the 1996 fall meeting of the American Geophysical Union.
Work - Summer and Fall 1995 (Part-Time). I ported three 3D molecular, orbital, and vibration model chemistry applications from MS Windows GUI to Motif GUI on the SGI-Irix, Sun-SunOS, and RS6000-AIX platforms. I also converted some GL code to OpenGL.
I have a full resumè available upon request.
This page last Frobbed Monday September 16, 1996 (though tweaked a bit on January 3, 1997).