Version 2 of Donal Fellows

Updated 2000-10-27 11:35:18

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 in the Computer Science Department at the University of Manchester[L1 ] 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 a member of the Tcl Core Team and I currently look after the TIP archive at http://www.cs.man.ac.uk/fellowsd-bin/TIP/

I'm interested in GUIs, Tcl/Tk, Java, Reasoning About Programs, and many other things besides. Curiously, I'm not currently deeply into Jacl or TclBlend, 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... :^)

I (sometimes) put more up-to-date information at http://www.cs.man.ac.uk/~fellowsd/plan.txt - this is shared with fingerd so it ought to be relatively current. :^)

I am also active a lot in the bulletin boards on http://dev.scriptics.com/bboard/

If you are looking at the recent changes summary, my edits tend to come from numeric hosts of the form 194.83.240.* which is our largely minimal but often vastly irritating firewall. :^(

Occasionally, they'll come from 213.48.*.* too, which will correspond to when I'm editing from home. (My cable telco offers a very nice unlimited-access deal. And I can usually connect at speeds over 52000 baud too, which isn't bad considering I've not got ADSL or other fancy stuff like that...)

DKF


Some pages in the Wiki that are particularly laden with my fingerprints...

Pages which have a lot by me, but a lot by other people too.