BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:The Young Software Engineer’s Guide to Using Formal Methods
DTSTART:20180608T133000
DTEND:20180608T141500
DTSTAMP:20260406T174546Z
UID:0942b7b987f75fad1fd8fd3d541ea07c35d1fafc80f50fdb2ef15931
CATEGORIES:Conferences - Seminars
DESCRIPTION:By Prof. K. Rustan M. Leino\n\nAbstract\nIf programming was ev
 er a hermitlike activity\, those days are in the past. Like other internet
 -aided social processes\, software engineers connect and learn online. Ope
 n-source repositories exemplify common coding patterns and best practices\
 , videos and interactive tutorials teach foundations and pass on insight\,
  and online forums invite and answer technical questions. These knowledge-
 sharing facilities make it easier for engineers to pick up new techniques\
 , coding practices\, languages\, and libraries. This is good news in a wor
 ld where software quality is as important as ever and where formal verific
 ation tools have become practically feasible.\n\nIn this talk\, I give one
  view of the future of software engineering\, especially with an eye towar
 d software quality. I will survey some techniques\, look at the history of
  tools\, and inspire with some examples of what can be daily routine in th
 e lives of next-generation software engineers.\n\nBio\nDr. K. Rustan M. Le
 ino is a Senior Principal Engineer in the Automated Reasoning Group at Ama
 zon Web Services. He is known for his work on formal methods and programmi
 ng languages. He has a long history of building program verifiers for both
  mainstream languages and languages designed to enhance reasoning. His eas
 y-to-use language and verifier Dafny are used in teaching at dozens of uni
 versities. Previously\, Leino has held positions at Microsoft\, Imperial C
 ollege London\, and DEC/Compaq. He has been named an ACM Fellow for his co
 ntributions to making program verification accessible and practical.\n\nMo
 re information\n\n 
LOCATION:BC 410 https://plan.epfl.ch/?room==BC%20410
STATUS:CANCELLED
END:VEVENT
END:VCALENDAR