Differences

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

--- people:etanter [2026/04/16 16:22] – etanter
+++ people:etanter [2026/07/23 12:53] (current) – etanter
@@ Line 7: / Line 7: @@
 |:::| [[http://www.dcc.uchile.cl/|Computer Science Department (DCC)]] |   Santiago, Chile|
 |:::| [[http://pleiad.cl/|PLEIAD Lab]] |  phone: +56 2 2978 4953|
-|:::| Associate Researcher, [[https://imfd.cl|IMFD]] |  fax: +56 2 2689 5531|
+|:::| Associate Researcher, [[https://imfd.cl|IMFD]] |  Inria International Chair @ [[https://www.inria.fr/fr/gallinette|Gallinette]]|
@@ Line 13: / Line 13: @@
 ===== News ======
+  * {{bib>yeAl-toplas2026|A Formal Framework for Typing and Cast Semantics in SQL Engines}} accepted at [[https://dl.acm.org/journal/toplas|TOPLAS]]
   * {{bib>felicissimoAl-lics2026|Definitional Proof Irrelevance Made Accessible}} accepted at [[https://lics.siglog.org/lics26/|LICS 2026]]
   * {{bib>rosainAl-popl2026|Bounded Sort Polymorphism with Elimination Constraints}} presented 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}} 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}} 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]]
-  * {{bib>poiretAl-popl2025|All Your Base Are Belong to Us: Sort Polymorphism for Proof Assistants}} presented at [[https://conf.researchr.org/home/POPL-2025|POPL 2025]]
-  * {{bib>divincenzoAl-toplas2025|Gradual C0: Symbolic Execution for Gradual Verification}} published in [[https://dl.acm.org/journal/toplas|TOPLAS]], presented at [[https://conf.researchr.org/home/POPL-2025|POPL 2025]]
@@ Line 196: / Line 190: @@
 ++++ Grad students |
     * [PhD] Damian Arquez [co-advised with Matías Toro]
-    * [PhD] Tomás Díaz
+    * [PhD] Tomás Díaz [co-advised with Nicolas Tabareau]
-    * [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.
@@ Line 212: / Line 203: @@
         * Guillaume Pothier: [[http://repositorio.uchile.cl/handle/2250/102687|Towards Practical Omniscient Debugging]]. Defended 13/06/2011.
     * //Former MSc students://
+        * José Luis Romero: Compiling Gradual Types with Evidence [co-advised with Matías Toro]. Defended 15/07/2026.
+        * Gaspar Ricci: Foundations of Gradual Abstract Interpretation [co-advised with Matías Toro]. Defended 09/06/2026.
         * [[https://tvallejos.cl/|Tomás Vallejos]]: [[https://repositorio.uchile.cl/handle/2250/197654|A Coq formalization of RDF and its applications]] [co-advised with Aidan Hogan and Assia Mahboubi]. Defended 22/01/2024.
         * Damián Árquez: [[https://repositorio.uchile.cl/handle/2250/182959|Gradual Sensitivity Typing]] [co-advised with Matías Toro]. Defended 23/11/2021.