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

Personal profile

Research interests

Programming languages, software verification, program synthesis.

Please check my personal webpage for more information.


Structured keywords and research groupings

  • Programming Languages


Dive into the research topics where Cristina David is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or