About
James R. Wilcox is an Assistant Professor of Computer Science at the University of Washington, where he teaches courses like Introduction to Programming, Foundations of Computing, and Operating Systems. His research focuses on programming languages, formal methods, and distributed systems verification.
- PhD, University of Washington
- BS, Williams College (2013)
Wilcox's research bridges software engineering and formal verification, with applications to distributed systems, concurrent programming, and tools like mypyvy for verification. He has published extensively in top venues such as POPL, PLDI, and CAV, emphasizing compositional techniques and proof assistants like Coq.
He has received two Distinguished Paper Awards (PLDI 2015, PLDI 2020) and contributes to frameworks like Verdi for verifying distributed systems. Outside academia, he is a baritone in Seattle's choral ensembles and an avid long-distance cyclist.
