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.
Welcome LFUI guest: Ohad Kammar
Ohad Kammar will be visiting once again the Theoretical Computer Science research group headed by Professor Georg Moser in March 2026.