Elena Zucca Schillani
-
Professore a contratto
-
Dipartimento di informatica, bioingegneria, robotica e ingegneria dei sistemi - DIBRIS
-
Dipartimento di informatica, bioingegneria, robotica e ingegneria dei sistemi - DIBRIS
-
Cultore della materia
-
Dipartimento di informatica, bioingegneria, robotica e ingegneria dei sistemi - DIBRIS
-
Dipartimento di informatica, bioingegneria, robotica e ingegneria dei sistemi - DIBRIS
Ricerca
Pubblicazioni IRIS
-
Checking equivalence of corecursive streams: An inductive procedure
Anno: 2024 -
Checked corecursive streams: Expressivity and completeness
Anno: 2023 -
Multi-Graded Featherweight Java
Anno: 2023 -
Resource-Aware Soundness for Big-Step Semantics
Anno: 2023 -
A Java-like calculus with heterogeneous coeffects
Anno: 2023
- elena.zucca@unige.it
- Telefono
- +39 010 353 6730
Curriculum
