Julián Samborski-Forlese
The information in this page may be outdated, as Julián Samborski-Forlese is currently not a member of the Institute.
BSc - National University of Rosario, Santa Fe, ArgentinaFormer PhD Student
Adviser: César Sánchez
Research Interests
Applications of Formal Methods and Abstract Interpretation to Program
Verification; Quantum Computing; Functional Programming Languages;
Semantics.