Mentoring

The purpose of the Verification Mentoring Workshop is to provide mentoring and career advice to senior undergraduate and junior researchers at all stages, and 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 CAV related topics. Other talks will provide mentoring and career advice, from academia and industry.

Program

9:00

How I Give a Talk

Javier Esparza

9:45

About reviewing

Azadeh Farzan

10:30

Coffee Break

11:00

Abstraction and Compositional Reasoning for Software Verification

Corina Pasareanu

12:00

Lunch

14:00

Being an Automated Reasoning Scientist in Academia and Industry

Serdar Tasiran

14:45

Enjoying Research from Math to Computer Science

Laura Kovacs

15:30

Coffee Break

16:00

Panel discussion

Ichiro Hasuo, Corina Pasareanu, Shaz Qadeer, Ruzica Piskac

17:00

Networking activity

Invited Speakers

How I Give a Talk

Javier Esparza

Abstract: I’ll talk about my approach at preparing and giving talks.

About reviewing

Azadeh Farzan

Abstract: I will talk about reviews, both from the point of writing them as well as receiving them and interpreting them.

Enjoying Research from Math to Computer Science

Laura Kovacs

Abstract: I will reflect on challenges and benefits of conducting basic research in theoretical computer science. I will provide my personal view on the DOs and DO NOT DOs when it comes to planning an academic career, writing grant applications, and  being open to unexpected coincidences.

Abstraction and Compositional Reasoning for Software Verification

Corina Pasareanu

Abstract: Abstraction and compositional reasoning have been the two guiding principles for my work. My research interests include model checking, symbolic execution, and automated testing, with applications in software engineering, autonomy, and security. In this talk I will describe several research topics that I have explored over the years and how they all relate to the above two guiding principles. I will further describe practical applications and give some ideas for future work.

Being an Automated Reasoning Scientist in Academia and Industry

Serdar Tasiran

Abstract: Serdar Tasiran has worked as a professor for 13 years and as an automated reasoning applied scientist in industry for over 10 years. In this talk, he will give an overview of what has worked and not worked for him in the two settings, and highlight key differences, hoping this will help with career choices of junior scientists.

Panelists

Ichiro HasuoNational Institute of Informatics, Japan
Corina PasareanuCarnegie Mellon University, USA
Shaz QadeerMeta, USA
Ruzica PiskacYale University, USA

CAV Buddy

Is this the first conference you will attend in person? We have all been there. You might not feel comfortable if you don’t know anyone. Join our Buddy Program and we will help you to get in touch with another mentoring workshop attendee. Every newcomer will be assigned either a more experienced peer (a “buddy”) or another newcomer, so you are not alone.

For those who are not attending a conference for the first time, being a buddy is a way for you to help the community to grow and introduce less experienced students to the field.

If you are interested, fill in the following application form by July 5th.

Scholarships

A number of travel scholarships are available to sponsor the physical attendance of students at CAV 2023 and the VMW.

Important Dates

Workshop Dates: July 18, 2023 

Scholarship Application Deadline: May 5, 2023 (extended)

Organisers

Ankush DesaiAWS CA
Eric KoskinenStevens Institute of Technology
Burcu Kulahcioglu OzkanTU Delft
Marijana LazicTU Munich
Matteo SammartinoRoyal Holloway University of London