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 the 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.

Select students will also receive a scholarship to attend VMW and CAV 2021!

Important Dates

Workshop Dates: July 18 and July 19, 2021

Application Deadline: June 18, 2021 June 30, 2021


Session times have been indicated in Pacific Daylight Time (PDT = UTC-7)

Sunday, July 18

7:45 AM – 8:00 AMWelcome and Introductory Remarks
8:00 AM – 9:00 AMChristel Baier, TU Dresden
Title: From Verification to Causality-Based Explications
9:00 AM – 10:00 AMMoshe Y. Vardi, Rice University
Title: Enhancing Academic Research and Scholarship
10:00 AM – 10:30 AMCoffee Break
10:30 AM – 11:30 AMChuchu Fan, MIT
Title:  Formal Methods in Verifiable Autonomous Systems

Monday, July 19

8:00 AM – 9:00 AM Sukyoung Ryu, KAIST
Title: Let a Little Sunshine in Your Heart
9:00 AM – 10:00 AMOded Padon, VMware Research
Title: Verification of Distributed Protocols Using Decidable Logics
10:00 AM – 10:30 AMCoffee Break
10:30 AM – 11:30 AMTemesghen Kahsai, Amazon
Title: On Building Tools in Academia and Industry
11:30 AM – 12:30 PMPanel Session I
Topic: Managing a Research Career: During and After a PhD
Loris D’Antoni (University of Wisconsin-Madison), Joel Ouaknine (MPI-SWS),
Hila Peleg (Technion), Andrey Rybalchenko (MSR Cambridge)
8:00 PM – 9:00 PMPanel Session II
Topic: Managing a Research Career: During and After a PhD
June Andronick (CSIRO), Supratik Chakraborty (IIT Bombay),
Akash Lal (MSR India), Sukyoung Ryu (KAIST)

Mentoring Workshop Organizing Committee

Jean-Baptiste Jeannin
University of Michigan
Arjun Radhakrishna
Microsoft Research
Suguman Bansal
University of
Roopsha Samanta
Caterina Urban
École Normale