Scholar
Ohad Kammar
Google Scholar ID: -BLwCMkAAAAJ
University of Edinburgh School of Informatics
Citations & Impact
Citations
929
H-index
14
i10-index
19
Publications
20
Co-authors
14
list available
Contact
Publications
Resume (English only)
Research Experience
- Current Royal Society University Research Fellow leading the project 'Foundations for type-driven data science'.
- Creator of the ARIA Safeguarded AI grant project 'Qbs4Safety: Core Representation Underlying Safeguarded AI'.
- Co-investigator on 'Differentiable Probabilistic Programming Semantics', funded by Facebook Research, collaborating with researchers from Oxford, Cambridge, and others.
- Involved with Ehud Lamm’s Conceptual Biology Lab.
- 2019–2023: Led the first phase of his Royal Society University Research Fellowship on 'Effectful Theories of Programming Languages: Models, Abstractions, Validation, and Axiomatics'.
- 2021–2022: Principal Investigator on 'Type-Driven Data-Science Infrastructure for Idris2', supported by the UK National Cyber Security Centre (NCSC).
- 2018–2019: Collaborated with the Alan Turing Institute on 'Probabilistic Programming in the Social Sciences'.
- 2017–2018: Held a Career Development Fellowship in Polymorphic Effects at Balliol College, Oxford.
- 2016–2018: Worked on a Royal Society-EPSRC funded project led by Sam Staton.
- 2014–2016: Collaborated with Glynn Winskel on the ERC-funded project 'Events, Causality and Symmetry — the Next Generation Semantics'.
- 2013–2014: Worked with Peter Sewell on 'Semantic Foundations for Real-World Systems', supported by EPSRC.
- 2012–2013: Collaborated with Sam Staton on 'Algebraic Theories, Computational Effects, and Concurrency', funded by the Isaac Newton Trust.
