Eugenia Simich

La información de esta página podría estar desactualizada debido a que Eugenia Simich no es actualmente miembro del Instituto.

BSc - Universidad Nacional de Rosario, Santa Fe, Argentina
Antiguo Research Intern

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

Type Theory, Semantics of Programming Languages, Formal Methods, Foundations of Computer Science, Logic