BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:IC Colloquium: Algorithmic Foundations for Systems Certification
DTSTART:20230223T100000
DTEND:20230223T110000
DTSTAMP:20260407T091729Z
UID:ac23b2d5f6f2890c8eae6204c15c308e863c2344c69988c801168859
CATEGORIES:Conferences - Seminars
DESCRIPTION:By: Rupak Majumdar - Max Planck Institute for Software Systems
 \n\nAbstract\nOur ability to design\, implement\, and generate new systems
  outpaces our ability to ensure that they work as they should.Systems cert
 ification studies how we can convince ourselves and others that a system w
 orks as it is specified\; typically\, but not always\, this involves build
 ing a rigorous proof of correctness that can be independently checked.\n\n
 In this talk\, we will explore the theoretical and practical landscape of 
 systems certification from an algorithmic perspective. We focus on three t
 hreads of work. First\, we describe new decidability and tractability resu
 lts for verification of infinite-state models of software.Second\, we desc
 ribe correct-by-construction techniques for controller synthesis for cyber
 -physical systems. Finally\, we consider rigorous certification techniques
  that give up absolute certainty. Here\, we show how randomized algorithms
  can form the basis for rigorous certification with probabilistic guarante
 es.\nWe conclude with strategic considerations in certification\, where th
 e provider of a certificate may have incentives different from the consume
 r.\n\nBio\nRupak Majumdar is a Scientific Director at the Max Planck Insti
 tute for Software Systems. His research interests are in the verification 
 and control of reactive\, real-time\, hybrid\, and probabilistic systems\,
  software verification and programming languages\, logic\, and automata th
 eory. Dr. Majumdar received the President's Gold Medal from IIT Kanpur\, t
 he Leon O. Chua award from UC Berkeley\, an NSF CAREER award\, a Sloan Fou
 ndation Fellowship\, an ERC Synergy award\, a Distinguished Alumnus Award 
 from IIT Kanpur\, "Most Influential Paper" awards from PLDI\, POPL\, and C
 ONCUR\, and several best paper awards. He received the B.Tech. degree in C
 omputer Science from the Indian Institute of Technology at Kanpur and the 
 Ph.D. degree in Computer Science from the University of California at Berk
 eley.\n\nMore information
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420 https://epfl.zoom.us/
 j/65722086289
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR