Cristina David (Preferred)
Cristina David
Associate Professor, Computer Science, University of Bristol
Joined
August 2024
Names
Emails
****@bristol.ac.uk (Confirmed)
****@cam.ac.uk
****@cs.ox.ac.uk
Personal Links
Career & Education History
Associate Professor
Computer Science, University of Bristol (bristol.ac.uk)
2020 – Present
Advisors, Relations & Conflicts
Expertise
LLMs for code generation
2023 – Present
program synthesis
2017 – Present
software verification
2006 – Present
programming languages
2006 – Present
Publications
No publications