The purpose of the Verification Mentoring Workshop is to provide mentoring and career advice to senior undergraduate and early-stage graduate students, to attract them to pursue research careers in the area of computer-aided verification. The workshop will particularly encourage participation of women and underrepresented minorities.

The workshop program will include a number of talks and interactive sessions. The talks will give an overview of the field along with brief introductions to the varied topics highlighted at CAV 2021. Other talks will provide mentoring and career advice, from academia and industry.

Confirmed Speakers

Chuchu Fan, MIT

Temesghen Kahsai, Amazon

Sukyoung Ryu, KAIST

Moshe Y. Vardi, Rice University

Important Dates

Workshop Dates: TBA

Mentoring Workshop Organizing Committee

Jean-Baptiste Jeannin
University of Michigan
Arjun Radhakrishna
Microsoft Research
Suguman Bansal
University of Pennsylvania
Caterina Urban
École Normale Supérieure