- cbenac @ fi.upm.es
- 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
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.
© 2013 Clara Benac Earle. Design by Andreas Viklund.