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.