Marco Ciccale

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

Office: 240
Telephone: +34-91-101-2202 ext 4491
Email:

	@
marco.ciccale	@	imdea.org

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