Jonathan JackyJonathan Jacky is a research scientist at the University of Washington in Seattle. He is experienced in embedded control systems, safety-critical systems, signal processing, and scientific computing. He has taught at the Evergreen State College andhas been a visiting researcher at Microsoft Research. He is the author of The Way of Z: Practical Programming with Formal Methods. Read More Read Less