Peer-reviewer for Computer Aided Verification

Served as an artifact evaluator for the 38th International Conference on Computer Aided Verification (CAV 2026), to be held in Lisbon as part of FLoC 2026. CAV advances the theory and practice of computer-aided formal analysis for hardware and software systems, spanning classical verification through to machine learning, quantum, autonomous systems, and security. I evaluated two paper artifacts, checking that the accompanying tools, code, and data were available, functional, and reproduced the results claimed in the papers, completing my evaluation on 23 May 2026.