Peer-reviewer for Computer Aided Verification
Artifact evaluator for CAV 2026 (Computer Aided Verification).
Highlights
Contribution beyond the day job: conference talks, hackathon judging, peer review and artifact evaluation, and mentoring across the engineering and AI community.

33 entries
Artifact evaluator for CAV 2026 (Computer Aided Verification).

Judged AI Agents Hackathon #33, a virtual hackathon run by Open Source for AI and the r/AI_Agents community.
Peer reviewer for the Agents in the Wild (AIWILD) workshop at ICML 2026.
Peer reviewer for the First Workshop on Agent Skills at ACM CAIS 2026.

Judged the Nozomio Hackathon at Entrepreneurs First (San Francisco).
Artifact evaluator for the ACM Conference on AI and Agentic Systems (CAIS) 2026.
Elevated to Senior Member grade of the IEEE for significant contributions to the profession.

Judged AI Agents Hackathon #31, a virtual AI agents hackathon.
Peer reviewer for LT-EDI 2026 (Language Technology for Equity, Diversity and Inclusion).
Program committee peer reviewer for SASIGD 2026.