Marco Ciccale

MSc - Technical University of Madrid (UPM), Spain
PhD Student

Despacho: 240
Teléfono: +34-91-101-2202 ext 4491
Email:

	@
marco.ciccale	@	imdea.org

Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

Abstract interpretation; static analysis; verification; semantics; (constraint) logic programming; programming language design and implementation.