Dr Cristina David
BSc, PhD
Current positions
Senior Lecturer
School of Computer Science
Contact
Press and media
Many of our academics speak to the media as experts in their field of research. If you are a journalist, please contact the University’s Media and PR Team:
Research interests
Programming languages, software verification, program synthesis.
Please check my personal webpage for more information.
Projects and supervisions
Research projects
Program synthesis for modern, memory-safe, programming languages
Principal Investigator
Managing organisational unit
Department of Computer ScienceDates
27/06/2023 to 26/06/2026
Program synthesis for modern, memory-safe, programming languages
Principal Investigator
Managing organisational unit
Department of Computer ScienceDates
27/06/2023 to 26/06/2026
Program synthesis for modern, memory-safe, programming languages
Principal Investigator
Managing organisational unit
School of Computer ScienceDates
27/06/2023 to 26/06/2026
Royal Society URF Enhanced Research Expenses
Principal Investigator
Managing organisational unit
Department of Computer ScienceDates
01/03/2023 to 28/02/2026
Royal Society URF Enhanced Research Expenses
Principal Investigator
Managing organisational unit
Department of Computer ScienceDates
01/03/2023 to 28/02/2026
Publications
Recent publications
29/01/2024SYNBIT
Formal Methods in System Design
Ownership guided C to Rust translation
Proceedings of the International Conference on Computer Aided Verification
Synthesising Programs with Non-trivial Constants
Journal of Automated Reasoning
Using Graph Neural Networks for Program Termination
ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Clinical characteristics with inflammation profiling of long COVID and association with 1-year recovery following hospitalisation in the UK
The Lancet Respiratory Medicine
