University of Washington
Seattle, Washington 98195-6043
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