Dr Cristina David

Search results

• Active

  Program synthesis for modern, memory-safe, programming languages

  David, C. (Principal Investigator)

  27/06/23 → 26/06/26

  Project: Research

• Program synthesis for modern, memory-safe, programming languages

  David, C. (Principal Investigator)

  27/06/23 → 26/06/26

  Project: Research, Parent

• Program synthesis for modern, memory-safe, programming languages

  David, C. (Principal Investigator)

  27/06/23 → 26/06/26

  Project: Research

• Royal Society URF Enhanced Research Expenses

  David, C. (Principal Investigator)

  1/03/23 → 28/02/26

  Project: Research

• Royal Society URF Enhanced Research Expenses

  David, C. (Principal Investigator)

  1/03/23 → 28/02/26

  Project: Research, Parent

• Royal Society URF Enhanced Research Expenses

  David, C. (Principal Investigator)

  1/03/23 → 28/02/26

  Project: Research