Estibaliz Fraca

Estibaliz Fraca

My name is Estibaliz Fraca Santamaria. I am a Research Fellow in the Principles of Programming Languages and Verification (PPLV) group, at UCL Computer Science. I am a member of the IRIS project, working under supervision of James Brotherston, and working with other IRIS colleages.

Selected Publications


Contact details Estibaliz Fraca Room 314. 66-72 Gower Street. UCL. Mail: e.fraca (at) ucl (doc) ac (dot) uk


Estibaliz Fraca

Research Fellow

UCL Computer Science

PPLV group