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
11/04/2025Enhancing SQL Query Generation with Neurosymbolic Reasoning
AAAI-25 Technical Tracks 19
Integrating Large Language Models and Reinforcement Learning for Non-Linear Reasoning
FSE '25
Scalable, Validated Code Translation of Entire Projects using Large Language Models
Proceedings of the Conference on Programming Language Design and Implementation
Conjugate Operators for Transparent, Explorable Research
Programming Languages and Systems
SYNBIT
Formal Methods in System Design
