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
Applications of Formal Methods and Abstract Interpretation to Program
Verification; Quantum Computing; Functional Programming Languages;