Differences

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

--- people:etanter [2025/10/07 19:49] – etanter
+++ people:etanter [2026/08/19 19:33] (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}} 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>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]]
 ===== Academic Activities =====
 ++++ Program Committee Chair |
+  * 32nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2027) -- Associate Chair
   * SPLASH 2019 [[https://2019.splashcon.org/track/splash-2019-Doctoral-Symposium|Doctoral Symposium]]
   * 11th International Conference on Aspect-Oriented Software Development ([[http://aosd.net/2012|AOSD 2012]])
@@ Line 138: / Line 135: @@
 ++++ Research Projects |
     * Inria International Chair - Malleable Proof Assistants [2025-2030]
+    * STIC AmSud Project 250016 - QUASAR: Quantum Semantics and Reasoning [2026-2027/senior researcher]
     * ANID Project DFG220011 - Gradual Abstract Interpretation [2024-2026/co-investigator]
     * INRIA Équipe Associée GRAPA [2023-2025/lead]
@@ Line 193: / Line 191: @@
 ++++ Grad students |
-    * [PhD] Stefan Malewski
     * [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]
     * //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 210: / Line 205: @@
         * 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.