Jonathan Jacky

Please use this mailing address and other contact information.

I am working on Magnetic Resonance Force Microscopy (also here and here).

I am working with GNU Radio.

My co-authors and I recently finished a book on Model-based Software Testing and Analysis, using the NModel framework.

Previously I worked on the Clinical Neutron Therapy System (also here), a computer-controlled radiation therapy machine.

I also contributed to the Prism treatment planning system and the Radiotherapy Treatment Planning Tools.

I am interested in formal methods and their application to safety-critical systems.

Previously I wrote another book, The Way of Z. Here are some examples and lecture notes.

I have taught (etc., etc.) at The Evergreen State College.

I have given guest lectures and short courses.

Here are a few pages with notes I've made on miscellaneous topics and projects.

Here are links to some interesting web sites.

Here is a very out-of-date bibliography and an old resume with links to some projects and publications.