Faculty

James R. Wilcox is assistant teaching professor of computer science at the University of Washington. He got his Ph.D. at UW, where he was advised by Zach Tatlock in the PLSE group.

His research interests are in programming languages, systems, and formal methods. His thesis work was on compositional techniques for verifying distributed systems implementations. He generally enjoys working with proof assistants and SMT solvers on applications to all kinds of concurrent programming. He also dabbles in floating point, compilers, 3D printing, and database.

Wilcox did his undergraduate at Williams College, graduating in 2013, where he worked with Steve Freund on dynamic race detection. Outside computer science, he enjoys good coffee, choral music, distance running, and small planes. He does not enjoy cars of any size.