My Tcl site is at http://www.cs.man.ac.uk/~fellowsd/tcl/ and my primary email address is mailto:[email protected] Officially, I'm working on a system (called Rainbow) to provide a design framework for asynchronous hardware (of great interest in the low-power embedded market) with a substantial formal underpinning so that engineers may reason about their designs with minimal help from a formally-trained Logician. And it is this second part of the requirement that is what makes what we are doing interesting, since engineers can throw together a system that provides simple design support frighteningly quickly (even without a rapid-prototyping tool like Tcl/Tk.) Any system that can demonstrate the correctness of a piece of hardware before it goes into a multi-million dollar production run is commercially a very good thing indeed! Take it from me, it can't be done with just any old random language...
I'm interested in GUIs, Tcl/Tk, Java, Reasoning About Programs, and many other things besides. Curiously, I'm not currently deeply into Jacl, despite it being an obvious thing to get involved in...
If you find your Wiki page has been mysteriously edited to look better (while not losing any of the content) then the chances are I've been at it... :^)
DKF