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).
And, together with Sam Owre and Shankar, I received the Computer-Aided Verification (CAV) Award for 2012 (picture).
Google says my H-index has gone above 50.
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)