IMDEA Software

Iniciativa IMDEA

Inicio > Personal > Damir Valput

Damir Valput

La información de esta página podría estar desactualizada debido a que Damir Valput no es actualmente miembro del Instituto.

Damir Valput
MS - Universidad de Zagreb, Croacia
Antiguo PhD Student


Tutor: Pierre Ganty

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

Research Interests

Logic and automata theory. Application of automata theory. Embedded systems. Verification.