Software Security Course
In his course, Lucas Cordeiro introduces basic and advanced approaches to building formally verified and trustworthy software systems. Further information and the course material is available at the course webpage.
Tag: Slides
Marktoberdorf Summer Schools
Unfortunately, this year’s international summer school in Marktoberdorf had to be cancelled… But you still can find many interesting resources like slides and tutorials from the previous years on the summer school’s website! Read More …
Software Synthesis and Automated Reasoning
Slides about Software Synthesis and Automated Reasoning by
Shachar Itzhaky are available here.
How to Prepare a Good Talk
Check out Ranjit Jhala‘s talk at the Verification Mentoring Workshop 2019 for tips on how to prepare good talks.
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.
Tradeoffs between Academia and Industry
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:
Tips for Your Elevator Pitch
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:
Reactive Synthesis
Here you can find the slides from the advanced lecture on Reactive Synthesis by Swen Jacobs and Martin Zimmermann.
Advanced Course on Software Verification
You can find slides by Prof. Orna Grumberg for automatic verification of software, using this link.
Basics of Model Checking
Slides for model checking introductory course, by Prof. Orna Grumberg, can be found here.