Created on July 16, 2026
2026
Received the CAV26 Distinguished Paper Award for Liveness Proofs for Hardware Model Checking 🎉