Adam Procter, Ph.D.

Adam Procter, Ph.D.

CV Publications

Recent Posts

New Website
Nov 20, 2014
Well, having recently gotten the dissertation monkey off my back, I figured I had time for a long-overdue website refresh.

I'm a postdoctoral researcher at the University of Missouri Center for High Assurance Computing. My research interests include programming language design, semantics, and implementation, formal methods, and the application of all of the above to producing verifiably secure hardware and software systems.