Eugenia Simich

The information in this page may be outdated, as Eugenia Simich is currently not a member of the Institute.

BSc - National University of Rosario, Santa Fe, Argentina
Former Research Intern

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