BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Cambridge Ellis Seminar Series- Dr. Hana Chockler-Actual Causality
 \, Explanations\, and Fairness - Speaker to be confirmed
DTSTART:20220421T130000Z
DTEND:20220421T140000Z
UID:TALK172553@talks.cam.ac.uk
CONTACT:Kimberly Cole
DESCRIPTION:The Cambridge ELLIS Unit has started a Seminar Series that wil
 l include talks by leading researchers in the area of machine learning and
  AI. Our next speaker of the year will be Dr. Hana Chockler. Details of h
 er talk can be found below. \n\nTitle: “Actual Causality\, Explanations\
 , and Fairness”\n\nAbstract: In this talk\, I will (briefly) introduce t
 he theory of actual causality as defined by Halpern and Pearl. This theory
  turns out to be extremely useful in various areas of computer science due
  to a good match between the results it produces and our intuition. I will
  also introduce the definition of responsibility\, which quantifies the de
 finition of causality. We will then look in more detail at the applicatio
 ns of actual causality to the behaviour of black-box AI applications. Spec
 ifically\, we will discuss two applications: explanations of (black-box) 
 image classifiers and fairness and discrimination in black-box models. \n
 The talk is based on a number of papers\, and\, while not strictly limite
 d to my own research\, the topics are quite broad and have been a subject 
 of very active research\, so I will be mostly talking about my work with d
 ifferent co-authors. The talk is reasonably self-contained.\nBio: Dr Hana
  Chockler is a Principal Scientist at a startup company causaLens since 20
 20. causaLen's mission is to apply causal reasoning to a wide array of dom
 ains. Dr Chockler also holds a post of Reader in Formal Methods in the Dep
 artment of Informatics\, King’s College London. Prior to joining KCL in 
 2013\, Hana worked at IBM Research in the formal verification and software
  engineering departments. Dr Chockler's research interests span a wide var
 iety of topics\, including formal verification and synthesis of hardware a
 nd software\, and\, most recently\, causal reasoning applied to AI.\nhttp
 s://eng-cam.zoom.us/j/83630301100?pwd=K1d6VnJwdWFKZ2JiODlYakFycDBlQT09 \n
LOCATION:https://eng-cam.zoom.us/j/83630301100?pwd=K1d6VnJwdWFKZ2JiODlYakF
 ycDBlQT09 
END:VEVENT
END:VCALENDAR