IMDEA Software

IMDEA initiative

Home > People

Ignacio Ballesteros

MS in Formal Methods in Computer Science and Engineering - Technical University of Madrid (UPM), Spain

PhD Student

Ignacio Ballesteros
IMDEA Software Institute

Office: 374
Telephone: +34 91-101-2202 ext 4461
Email: Ignacio Ballesteros e-mail

Adviser: Manuel Carro