IMDEA Software

IMDEA initiative

Home > People > Damir Valput

Damir Valput

The information in this page may be outdated, as Damir Valput is currently not a member of the Institute.

Damir Valput
MS - University of Zagreb, Croatia
Former PhD Student


Adviser: Pierre Ganty

Research Interests

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