Our web server has been ugraded and you can now reference these pages securely using https instead of the former http; this should happen automatically if you come in via an https link.
My ORCID is 0000-0002-6604-9953
And my arXiv public author identifier is http://arxiv.org/a/rushby_j_1
And my Erdos Number is 3.
Links to videos and to slides.
I was honored to receive the IEEE Harlan D Mills Award for 2011 (picture).
And Sam
Owre,
Shankar and I received
the Computer-Aided
Verification (CAV) Award for 2012
(picture)
and also the Skolem
Award in 2021 for
the most
influential paper from CADE-11 that was held in 1992.
According to my Google Scholar profile, my H-index is 60.
Photos from some meetings and retirements
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)
2016
My lectures for the
Marktoberdorf 2016 Summer School on Dependable Software Systems
Engineering
2015
2011
2010
2023
2022
, May 2022 and also available as
arXiv 2205.04522
2021
2020
2019
2018
Note: this paper is now obsolete and is replaced by
this extended version.
2017
Note: this paper is now obsolete and is replaced by
this extended version.
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
Winner of the Skolem
Award in 2021 for the most influential paper of CADE-11.
1991
1989
1988
1986
(I'm slowly getting my old papers online)
1985
1984
1983
1982
1981
1977
1974
Videos
Slides
Slides given in association with a published paper are available from
the link to the paper concerned. Below are links to PDFs for a few
recent talks (newest first) that are not associated with a paper.
2009
2008
John Rushby (R u s h b y @ c s l . s r i . c o m)