Clara Benac Earle @ Babel Group

Facultad de Informática

Universidad Politécnica de Madrid

cbenac @

Phone / Fax
+34 913363749 / +34 913363749

Address ("Bloque 2" in this map)
Room 2308
Facultad de Informática. UPM.
Campus de Montegancedo s/n,
Boadilla del Monte 28660, Spain

About me

I am a researcher at the Babel group at the Facultad de Informática, Universidad Politécnica de Madrid. My main research interest is the specification and verification of concurrent, distributed and fault-tolerant software by means of formal and semi-formal methods.

I also have a Linked In webpage.

site info

© 2013 Clara Benac Earle. Design by Andreas Viklund.