Xavier Leroy

Annual summaries

Software Science
Professor's lectures and seminars summaries

2021–2022 – Software Security: What Role Do Programming Languages Play?

2020–2021 – Program Logic: When Machines Reason About Their Software

2019–2020 – Mechanized Semantics: When Machines Reason About Their Own Languages

2018–2019 – Does Programming Equate to Demonstration? The Curry–Howard Correspondence Today