Skip to main content

Cristina David awarded prestigious University Fellowship by the Royal Society


Cristina David, a member of research staff in the automated verification group, has been awarded a University Fellowship by the Royal Society. The Royal Society scheme provides the opportunity to build an independent research career and the topic of Cristina's fellowship will be On Advancing Inductive Program Synthesis. 
Cristina will be leaving this department to take up her fellowship, which will be hosted by the Computing Laboratory, University of Cambridge.