We are deeply saddened by the loss of another of the founders of CAV, Bob Kurshan, who died on March 10, 2021. Bob was, in a way, the guiding spirit of CAV, and gave generously of his time and prodigious energy to make the conference what it is today. His foundational research in automata-theoretic methods helped to create the field of computer-aided verification. His practical work at Bell Labs and Cadence Design Systems helped to make formal verification a reality in industrial practice. He was a great fr
We are deeply saddened by the loss of Edmund Clarke, who passed away on December 22, 2020. Ed was a founder of CAV and a visionary leader in the field. He was also a friend, a mentor and an inspiration to all of us. His ideas, his dedication and his generosity of spirit have touched each of our lives and provided a foundation for our careers in a field that he was instrumental in creating. As we mourn his loss, we are grateful for his many contributions, both personal and professional, and we know that hi
Orna Grumberg Aarti Gupta Daniel Kroening Ken McMillan The CAV Steering Committee
UW PLSE