James R. Wilcox is an Assistant Teaching Professor at the University of Washington, specializing in computer science, programming languages, and systems. With a background in the tech industry and a PhD from UW, James brings a wealth of knowledge and experience to his teaching and research in the field.
His research interests include programming languages, applications of PL techniques to systems, and formal methods. James is known for his work on compositional techniques for verifying distributed systems implementations and has published several papers in top conferences. Outside of academia, he enjoys choral music, distance running, and exploring the world on his bike.
Generated from the website