Differences

This shows you the differences between two versions of the page.

--- people:etanter [2025/10/07 19:49] – etanter
+++ people:etanter [2025/11/06 19:16] (current) – etanter
@@ Line 13: / Line 13: @@
 ===== News ======
+  * {{bib>rosainAl-popl2026|Bounded Sort Polymorphism with Elimination Constraints}} accepted at [[https://conf.researchr.org/home/POPL-2026|POPL 2026]]
   * I have been awarded an [[https://www.inria.fr/en/europe-and-international-schemes|Inria International Chair]] hosted by the [[https://gallinette.gitlabpages.inria.fr/website/|Gallinette]] research team (2025-2029)
-  * {{bib>diazAl-oopsla2025|Incremental Certified Programming}} accepted at [[https://2025.splashcon.org/track/OOPSLA|OOPSLA 2025]]
+  * {{bib>diazAl-oopsla2025|Incremental Certified Programming}} presented at [[https://2025.splashcon.org/track/OOPSLA|OOPSLA 2025]]
   * I'm on the PC of [[https://conf.researchr.org/home/POPL-2026|POPL 2026]]
-  * {{bib>jacobsAl-icfp2025|Robust Dynamic Embedding for Gradual Typing}} accepted at [[https://icfp25.sigplan.org/|ICFP 2025]]
+  * {{bib>jacobsAl-icfp2025|Robust Dynamic Embedding for Gradual Typing}} presented at [[https://icfp25.sigplan.org/|ICFP 2025]]
   * {{bib>arquezAl-csf2025|Gradual Sensitivity Typing}} presented at [[https://csf2025.ieee-security.org/|CSF 2025]]
   * {{bib>yeAl-esop2025|Elucidating Type Conversions in SQL Engines}} presented at [[https://etaps.org/2025/conferences/esop/|ESOP 2025]]
@@ Line 193: / Line 194: @@
 ++++ Grad students |
-    * [PhD] Stefan Malewski
     * [PhD] Damian Arquez [co-advised with Matías Toro]
     * [PhD] Tomás Díaz
     * [MSc] José Luis Romero [co-advised with Matías Toro]
     * [MSc] Gaspar Ricci [co-advised with Matías Toro]
+    * [MSc] Cristobal Isla
     * //Former PhD students://
         * Elizabeth Labrada: [[https://repositorio.uchile.cl/handle/2250/191833|Gradual System F]]. [co-advised with Matías Toro]. Defended 21/12/2022.