I am an assistant teaching professor at the University of Washington, where I teach computer science. I specialize in the areas of programming languages and ...
People also ask
Who is James Wilcox?
Who is the CEO of Wilcox Industries?
Who is the founder of Wilcox Industries?
University of Washington - Cited by 2606 - Programming languages - Formal Verification - Distributed Systems
I am a computer science educator and researcher specializing in programming languages. Experience: University of Washington
Bio: I am an assistant teaching professor in the Paul G. Allen School of Computer Science & Engineering at the University of Washington.
Aug 3, 2024 · List of computer science publications by James R. Wilcox.
Bio: I am an assistant teaching professor in the Paul G. Allen School of Computer Science & Engineering at the University of Washington.
James R. Wilcox's 29 research works with 1116 citations, including: mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic.
Follow James R. Wilcox and explore their bibliography from Amazon.com's James R. Wilcox Author Page.
Name:James R. Wilcox ; Bio: I am an assistant teaching professor in the Paul G. Allen School of Computer Science & Engineering at the University of Washington.