IMDEA Software

IMDEA initiative

Home > People

Julián Samborski-Forlese

BS - National University of Rosario, Santa Fe, Argentina

The information in this page may be outdated, as Julián Samborski-Forlese is no longer a member of the Institute.

Former PhD Student

Julián Samborski-Forlese

Research Interests

Applications of Formal Methods and Abstract Interpretation to Program Verification; Quantum Computing; Functional Programming Languages; Semantics.