How to Be a Productive Student?
Ruzica Piskac, computer science professor at Yale University, shared some tips on how to be a productive student at the Verification Mentoring Workshop 2019. Check out the slides of her amazing talk.
A sharing platform for the Computer-Aided Verification community
Ruzica Piskac, computer science professor at Yale University, shared some tips on how to be a productive student at the Verification Mentoring Workshop 2019. Check out the slides of her amazing talk.
Manu Sridharan, from the University of of California, Riverside, talked about the use of program analysis in academia and industry at the Verification Mentoring Workshop 2019:
This year at the VMW, we had a great hands-on session to practice the so-called elevator pitch. It is meant to be a quick presentation of your current research to someone that you are just meeting and who is asking about your research. If you want to improve your own elevator pitch you can find some tips on these slides:
Here you can find the slides from the advanced lecture on Reactive Synthesis by Swen Jacobs and Martin Zimmermann.
Attending the Verification Mentoring Workshop and participating in the Buddy Program are great ways to expand your professional network in the CAV community. Feel free to contact Norine if you have any questions regarding the VMW or the Buddy Program.
Everyone can be a buddy! It is, in fact, the very idea of the Buddy Program that more experienced members of the CAV community participate and help younger students to get acquainted with the conference and provide valuable tips. We are looking forward to your participation!
You can download the lecture notes of the course Automata, Games and Verification by Prof. Bernd Finkbeiner on the course website.