BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/732
DTSTAMP:20230914T125936Z
SUMMARY:Software Verification: Trends and Challenges
DESCRIPTION:Speaker: R. Venkatesh (Chief Scientist\nTata Consultancy Servic
 es)\n\nAbstract: \nThe influence of software in our daily lives is only in
 creasing\, especially its role in automating critical tasks like surgery a
 nd self driving. It is therefore imperative that we have some techniques t
 o assure that the software that we rely on does will not take decisions th
 at will harm humans and be potentially fatal. Yet\, the advances in verifi
 cation continues to lag the advances in automation. In this talk we will i
 ntroduce the various approaches that have been taken by the verification c
 ommunity to show that software will be safe\, present the challenges faced
  by the community and look at where we stand today.\n\nBio: R. Venkatesh i
 s a chief scientist with TCS Research and heads its Verification and Valid
 ation Program. He has been with TCS for more than 25 years primarily in th
 e areas of software development\, formal methods and verification. During 
 this tenure he has lead several tool development projects including TCS EC
 A a static analysis tool that is sold commercially by TCS. Other tools inc
 lude MasterCraft and more recently a formal specification notation EDT.\n
URL:https://www.tcs.tifr.res.in/web/events/732
DTSTART;TZID=Asia/Kolkata:20161209T160000
DTEND;TZID=Asia/Kolkata:20161209T170000
LOCATION:AG-66 (Lecture Theatre)
END:VEVENT
END:VCALENDAR