Cristina David

Pronouns: she/her

Associate Professor, Computer Science, University of Bristol

  • Joined August 2024

Names

Cristina David (Preferred)

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

PhD Advisor
Present
 

Expertise

LLMs for code generation
2023 – Present
 
program synthesis
2017 – Present
 
software verification
2006 – Present
 
programming languages
2006 – Present