Jonathan Jacky

I retired from the University of Washington in 2022.

Many of the pages and documents here at my old UW web site have been copied to my new site:

University of Washington
Radiation Oncology
Box 356043
Seattle, Washington 98195-6043
Phone:   206-598-4536
Email:   jon at uw dot edu

I work at the medical cyclotron, programming the control system for a radiation therapy machine.

Previously, I worked on magnetic resonance force microscopy (also here) and radiation therapy treatment planning (also here).

I taught courses on Python programming through UW continuing education.

I taught courses on computer science (also here and here) at The Evergreen State College.

My co-authors and I wrote a book on Model-based Software Testing and Analysis, using our NModel framework.

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

I have projects at GitHub, PyPI (also here), and CodePlex.

My projects include the PyModel testing tool and the FLiP proof checker.

I have some recent programming experiments here.

Occasionally I update this commonplace book. For years I updated this page of annotated links.

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

Revised Sep. 2019