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.



Contact details Estibaliz Fraca Mail: e.fraca (at) ucl (doc) ac (dot) uk

Estibaliz Fraca

Research Fellow

UCL Computer Science

PPLV group