Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
people:etanter [2025/08/13 18:00] etanterpeople:etanter [2025/10/08 10:16] (current) etanter
Line 184: Line 184:
     * [[http://googleamericalatinablog.blogspot.cl/2015/09/ganadores-de-los-premios-de-investigacion-de-google-america-latina.html?m=1|Google Faculty Research Award 2015]] and [[http://static.googleusercontent.com/media/research.google.com/en//app/research-outreach/faculty-engagement/Google_Latin_America_Research_Award_Recipients.pdf|2016]] -- Gradual Security Typing for the Web     * [[http://googleamericalatinablog.blogspot.cl/2015/09/ganadores-de-los-premios-de-investigacion-de-google-america-latina.html?m=1|Google Faculty Research Award 2015]] and [[http://static.googleusercontent.com/media/research.google.com/en//app/research-outreach/faculty-engagement/Google_Latin_America_Research_Award_Recipients.pdf|2016]] -- Gradual Security Typing for the Web
    * [[http://pleiad.dcc.uchile.cl/_media/people/etanter/award-dcc2011.jpg|Best professor award]] (for undergrad teaching), Computer Science Dept, University of Chile, 2011    * [[http://pleiad.dcc.uchile.cl/_media/people/etanter/award-dcc2011.jpg|Best professor award]] (for undergrad teaching), Computer Science Dept, University of Chile, 2011
-   * Invited speaker: [[http://www.lia.ufc.br/~cbsoft2017/xxi-sblp/keynotes/|SBLP 2017]], [[http://www.consiste.dimap.ufrn.br/~elaes2016/|ELA-ES 2016]], [[http://10ccc.sco2.org/|10CCC]], [[http://www.aosd.net/workshops/varicomp/2013/|VariComp 2013]], [[http://program-transformation.org/GPCE12/|GPCE 2012]], [[http://www.labes.icmc.usp.br/lawasp2010/|LA-WASP 2010]], SCCC 2005+   * Invited speaker: [[https://www.fing.edu.uy/inco/congresos/ifl2025/tutorials.html|IFL 2025]], [[http://www.lia.ufc.br/~cbsoft2017/xxi-sblp/keynotes/|SBLP 2017]], [[http://www.consiste.dimap.ufrn.br/~elaes2016/|ELA-ES 2016]], [[http://10ccc.sco2.org/|10CCC]], [[http://www.aosd.net/workshops/varicomp/2013/|VariComp 2013]], [[http://program-transformation.org/GPCE12/|GPCE 2012]], [[http://www.labes.icmc.usp.br/lawasp2010/|LA-WASP 2010]], SCCC 2005
  
  
Line 193: Line 193:
  
 ++++ Grad students | ++++ Grad students |
-    * [PhD] Stefan Malewski 
     * [PhD] Damian Arquez [co-advised with Matías Toro]     * [PhD] Damian Arquez [co-advised with Matías Toro]
     * [PhD] Tomás Díaz      * [PhD] Tomás Díaz 
     * [MSc] José Luis Romero [co-advised with Matías Toro]     * [MSc] José Luis Romero [co-advised with Matías Toro]
     * [MSc] Gaspar Ricci [co-advised with Matías Toro]     * [MSc] Gaspar Ricci [co-advised with Matías Toro]
 +    * [MSc] Cristobal Isla
     * //Former PhD students://     * //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.         * Elizabeth Labrada: [[https://repositorio.uchile.cl/handle/2250/191833|Gradual System F]]. [co-advised with Matías Toro]. Defended 21/12/2022.