"No bird soars too high, if he soars with his own wings." W. Blake

Jonathan Whitaker

I am an undergraduate student in the School of Computing at the University of Utah working on the SMACK software verifier.

Jonathan Whitaker,
Undergraduate Researcher

Contact
jon.b.whitaker@gmail.com
School of Computing,
University of Utah
50 South Central Campus Drive,
Salt Lake City, Utah 84112

Publications

Montgomery Carter, Shaobo He, Jonathan Whitaker, Zvonimir Rakamaric, Michael Emmi
SMACK Software Verification Toolchain
Proceedings of the 38th IEEE/ACM International Conference on Software Engineering (ICSE) Companion, 2016