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:
https://jon-jacky.github.io/home/
|
University of Washington Radiation Oncology Box 356043 Seattle, Washington 98195-6043 |
Phone: 206-598-4536 Email: jon at uw dot edu Web: http://staff.washington.edu/jon/ |
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