My ORCID is 0000-0002-6604-9953
Links to videos and to slides.
I was honored to receive the IEEE Harlan D Mills Award for 2011 (picture).
Shankar and I received
Verification (CAV) Award for 2012
and also the Skolem Award in 2021 for the most influential paper from CADE-11 that was held in 1992.
Google says my H-index has gone above 55.
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
If you're looking for slides from other talks, please scan through this directory listing, ordered by write date (and note the links at the bottom if you need format conversions)
My lectures for the Marktoberdorf 2016 Summer School on Dependable Software Systems Engineering
Return to my home page.
John Rushby (R u s h b y @ c s l . s r i . c o m)