IMDEA Software

IMDEA initiative

Home > People

Kyveli Doveri

MS in Mathematical Logic - Université Paris Diderot, France

PhD Student

Kyveli Doveri
IMDEA Software Institute

Office: 342
Telephone: +34 91-101-2202 ext 4333
Email: Kyveli Doveri e-mail
Home Page: https://kyveli.github.io/

Adviser: Pierre Ganty