Ohad Kammar – Projects — University of Edinburgh Research Explorer

View Scopus Profile

If you made any changes in Pure these will be visible here soon.

1 Finished
1 Active

1 results

Filter

Active

Type-driven data-science infrastructure for Idris2
Kammar, O.
UK central government bodies/local authorities, health and hospital authorities
1/04/21 → 28/02/22
Project: Research