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.
by Joseph R. Kiniry <kiniry@acm.org>
Last modified: Mon Jun 16 16:10:11 CEST 2003