POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
Sun 19 Jan 2025 09:10 - 10:10 at Hopscotch - Keynote Chair(s): Stefan Zetzsche

TBD

K. Rustan M. Leino is Senior Principal Applied Scientist in the Automated Reasoning Group at Amazon Web Services. He works on ways to make sure programs behave as intended, secure and functionally correct. Leino is known for his work on programming methods and program verification tools and is a world leader in building automated program verification tools. These include the languages and tools Dafny, Chalice, Jennisys, Spec#, Boogie, Houdini, ESC/Java, and ESC/Modula-3. He is an ACM Fellow.

Before Amazon, Leino has been Principal Researcher at Microsoft Research, Visiting Professor at Imperial College London, and researcher at DEC/Compaq SRC. He received his PhD from Caltech (1995), before which he designed and wrote object-oriented software as a technical lead in the Windows NT group at Microsoft.

Leino hosts the Verification Corner channel on youtube. He is a multi-instrumentalist, he instructed group cardio and strength classes for many years, and he likes to cook.

Sun 19 Jan

Displayed time zone: Mountain Time (US & Canada) change

09:00 - 10:30
KeynoteDafny at Hopscotch
Chair(s): Stefan Zetzsche Amazon Web Services
09:00
10m
Day opening
Day opening
Dafny
Stefan Zetzsche Amazon Web Services
09:10
60m
Keynote
Keynote
Dafny