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.

Publications


.

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

Estibaliz Fraca


Research Fellow

UCL Computer Science

PPLV group