Lectures and talks

cool talks

[See also my papers page.]


Invited lectures and conference talks


University and summer school lectures

In September 2011, I lectured at the LASER Summer School, Elba, Italy:

In August 2011, I lectured at the International Summer School Marktoberdorf, Germany:

In September 2009, I lectured at FOSAD in Bertinoro, Italy:

In August 2008, I lectured at the International Summer School Marktoberdorf, Germany:

In July 2008, I lectured at the Summer School on Logic and Theorem-Proving in Programming Languages in Eugene, OR:

In May 2006, I gave a guest lecture on

in Shaz Qadeer's CSE 599f, Formal Verification of Computer Systems class at UW.

In April/May 2004, I gave some guest lectures on Hoare-style program verification in Rob DeLine's CSE 503, Software Engineering course at UW.  Here are the PowerPoint slides from those lectures:

In September 2003, I lectured on Technologies for finding errors in object-oriented software at the United Nations University IIST and IFIP WG 2.3 Summer School on Formal Models of Software at ╔cole Polytechnique de Tunisie (EPT) in Tunis, Tunisia.  Here are the PowerPoint slides and one-sentence descriptions of the 4 lectures:

There is also a list of selected bibliographic references.

In August 2002, I lectured on Checking correctness properties of object-oriented programs at the EEF Summer School on Specification, Refinement and Verification in Turku, Finland.  Here are the PowerPoint slides and one-sentence descriptions of the 5 lectures:


Back to Rustan Leino's homepage.