Facultat: Informática

Àrea: Llenguatges i Sistemes Informàtics

Doctor per la Universidad Complutense de Madrid amb la tesi Programación con indeterminismo un enfoque basado en reescritura 2010. Dirigida per Dr. Francisco Javier López Fraguas, Dr. Jaime Sánchez Hernández.