BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/1612
DTSTAMP:20251029T091639Z
SUMMARY:Inductive Functional Proofs for Trustworthy Autonomy
DESCRIPTION:Speaker: Vishnu Murali (University of Colorado\, Boulder)\n\nAb
 stract: \nThe advent of autonomous systems in mission-critical areas such 
 as autonomous vehicles and medical devices has led to significant research
  in ensuring their correctness. A prominent approach to provide such guara
 ntees is to use functions that act as inductive proofs. To automate the se
 arch for such functions\, one typically fixes their template (e.g. polynom
 ials of a fixed degree). The search for these functions can then be handle
 d using optimization-based approaches to find suitable candidates within t
 he template class. When one fails to find such a function\, a common appro
 ach is to change the template (for example increase the degree of the poly
 nomial) and try again. An alternative approach is to instead change what w
 e induct over. In this talk\, I will illustrate how different notions of i
 nduction can be used to provide guarantees for specifications that range f
 rom safety to privacy. Finally\, I will discuss two directions for future 
 work: first to ensure the accountability for such systems and second\, to 
 find automated approaches to search for other novel inductive proof rules.
 \nShort Bio:Vishnu Murali is a postdoctoral associate in the Department of
  Computer Science at the University of Colorado Boulder. He received his P
 hD degree from the University of Colorado Boulder\, USA in 2024. The focus
  of his research is to provide guarantees for autonomous or cyber-physical
  systems against properties specified in logic or via automata. During his
  PhD\, he received awards for his research from the department of Computer
  Science at the University of Colorado Boulder\, and one of his papers was
  a finalist for the ACM SIGBED HSCC best paper award.\n
URL:https://www.tcs.tifr.res.in/web/events/1612
DTSTART;TZID=Asia/Kolkata:20251111T160000
DTEND;TZID=Asia/Kolkata:20251111T170000
LOCATION:A-201 (STCS Seminar Room)
END:VEVENT
END:VCALENDAR