BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:AI Center Seminar - AI Fundamentals series - Prof. Anna Lukina
DTSTART:20251028T111500
DTEND:20251028T121500
DTSTAMP:20260501T103725Z
UID:ca05f79a6acc56dc454346c2aa9f76c84abd50c70c351486ed29bf29
CATEGORIES:Conferences - Seminars
DESCRIPTION:Prof. Anna Lukina\nThe talk is organized by the EPFL AI Cent
 er as part of the AI fundamentals seminar series.\n\nHosting professor: P
 rof. Clément Pit-Claudel\n\nTitle\nAdvancing Safe Autonomy: Neural Certif
 icates\, Reusable Guarantees\, and Interpretable Policies\n\nAbstract\nRec
 ent advances in neural certification and reinforcement learning are enabli
 ng safer and more adaptable autonomous systems. This talk unites four key 
 contributions: First\, I will discuss neural continuous-time supermartinga
 le certificates\, which provide probabilistic safety guarantees for contin
 uous-time stochastic systems. Second\, I will introduce VeRecycle\, a theo
 retical framework for efficiently reusing probabilistic certificates after
  system changes\, drastically reducing the need for costly re-certificatio
 n. I will also present a modular approach to reinforcement learning\, wher
 e formally verified sub-policies are safely composed for end-to-end guaran
 tees. Finally\, I will demonstrate how interpetable policies can be synthe
 sized directly from black-box simulations using search and optimizartion. 
 Together\, these works push the boundaries of safe\, scalable\, and adapti
 ve autonomy in uncertain environments.\n\nBio\nDr. Anna Lukina is an Assis
 tant Professor and Delft Technology Fellow\, leading a team of researchers
  at TU Delft\, The Netherlands\, on trustworthy and interpretable AI syste
 ms via combining formal methods and machine learning. In 2023\, Dr. Lukina
  was awarded a personal grant from the Dutch Research Council on Explainab
 le Monitoring. She has been a long-term visiting scholar at Simons-Berkele
 y. She is co-founder and co-chair of the International Symposium of AI Ver
 ification. In 2022\, she founded an award-winning Future Female+ Faculty P
 rogram on improving the diversity of international professor talent. Dr. L
 ukina obtained her Ph.D. in computer science from Vienna University of Tec
 hnology. Her doctoral thesis was focused on control and verification of cy
 ber-physical systems. Before joining TU Delft\, she was a postdoc with Pro
 f. Thomas A. Henzinger at ISTA in Austria.\n 
LOCATION:ELE 117 https://plan.epfl.ch/?room==ELE%20117 https://epfl.zoom.u
 s/j/67720676571?pwd=2cvgMoHxhzvdKS4PUCZoZCCkYueSvg.1
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR