
Registered user since Tue 26 May 2015
Name:James R. Wilcox
Bio:
I am a lecturer in the Paul G. Allen School of Computer Science & Engineering at the University of Washington. My research interests are in programming languages and applications of PL techniques to systems. I also work on formal verification in industry at Certora.
Country:United States
Affiliation:Certora
Personal website:https://jamesrwilcox.com
Twitter:https://twitter.com/wilcoxjay
Research interests:Programming Languages, Verification
Contributions
PLDI 2023 | Committee Member in PLDI Review Committee within the PLDI Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile