Julián Samborski-Forlese

La información de esta página podría estar desactualizada debido a que Julián Samborski-Forlese no es actualmente miembro del Instituto.

BSc - Universidad Nacional de Rosario, Santa Fe, Argentina
Antiguo PhD Student

Tutor: César Sánchez

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

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