Ohad Kammar is currently a Royal Society University Research Fellow on "Foundations of Type-Driven Data Science". He is co-author of the ARIA Safeguarded AI grant "Qbs4Safety: Core Representation Underlying Safeguarded AI" and co-researcher in the area of semantics of differentiable probabilistic programming.
