Projects in 2001

• 27 December 2001 The first version of KindFTP has been released. KindFTP is a complete implementation of the FTP protocol in a reusable Java component. We use iContract to provide a full formal specification (a la Design by Contract) of all software, jUnit for all unit testing, and Ant as a build tool.
• 27 December 2001 A new version of IDebug has been released.
• December 2001 A new version of OBJ3 has been released.
• December 2001 The KindSoftware Coding Standard has been released.
• November 2001 I spent several weeks reviewing universities and departments around the world and have applied for a couple of dozen assistant professor positions. Most of these are in North America, but a few are in Europe and one is in New Zealand.
• 23 October 2001 I wrote my Curriculum Vitae and it is now available. (PDF)
• 20 October 2001 A working draft of my Ph.D. dissertation is now available to select parties.
• 14-18 October 2001 I attended OOPSLA 2001 as a Program Committee member for the first time.
• 18 July 2001 A new version of SmallEiffel (v 0.75) for AmigaDE/Elate has been released.
• June 2001 I've started playing with porting Ruby to the AmigaDE/Elate. I've also started looking into porting MESS.
• June 2001 A new version of IDebug (v 0.126) has been released.
• February-May 2001 I have been working on the developing Kind Theory and am writing several chapters of my dissertation.
• 6 April 2001 I resigned as Chief Scientist at DALi, Inc.
• February 2001 I've finished reviewing several more CT texts including Categories, Types, and Structures by Asperti and Longo, Computational Category Theory by Rydeheard and Burstall, and my personal favorite, Arrows, Structures, and Functors: The Categorical Imperative by Arbib and Manes. Now I have Category Theory and Computing by Barr and Wells (looks great) in the queue and several more littering my office: Abstract and Concrete Categories: The Joy of Cats by Adamek, Herrlich and Strecker, Categories Allegories by Freyd and Scedrov (looks interesting), Category Theory by Herrlich and Strecker, and Categories for the Working Mathematician by Saunders (looks intimidating right now).
• January 2001 My intensive study of category theory continues. I've finished Lawvere and Schanuel's Conceptual Mathematics: A first introduction to categories and have begun reading pieces of Paul Taylor's excellent text Practical Foundations of Mathematics.