Differences

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

Link to this comparison view

Both sides previous revision Previous revision
people:etanter [2021/11/13 11:20]
etanter
people:etanter [2021/11/23 11:12] (current)
etanter
Line 180: Line 180:
 ++++ Grad students | ++++ Grad students |
     * [PhD] Elizabeth Labrada (gradual parametricity)     * [PhD] Elizabeth Labrada (gradual parametricity)
-    * [MSc] Damian Arquez ​(gradual sensitivity) ​[co-advised with Matías Toro]+    * [PhD] Damian Arquez 
 +    * [PhD] Tomás Díaz  
 +    * [MSc] Tomás Vallejos ​[co-advised with Aidan Hogan]
     * //Former PhD students://     * //Former PhD students://
         * Raimil Cruz: [[http://​repositorio.uchile.cl/​handle/​2250/​173839|Type Abstraction and Faceted Types for Declassification]]. Defended 15/01/2020.         * Raimil Cruz: [[http://​repositorio.uchile.cl/​handle/​2250/​173839|Type Abstraction and Faceted Types for Declassification]]. Defended 15/01/2020.
Line 192: Line 194:
         * Guillaume Pothier: [[http://​repositorio.uchile.cl/​handle/​2250/​102687|Towards Practical Omniscient Debugging]]. Defended 13/06/2011.         * Guillaume Pothier: [[http://​repositorio.uchile.cl/​handle/​2250/​102687|Towards Practical Omniscient Debugging]]. Defended 13/06/2011.
     * //Former MSc students://     * //Former MSc students://
 +        * Damián Árquez: Gradual Sensitivity Typing [co-advised with Matías Toro]. Defended 23/11/2021.
         * Hans Fehrmann: [[http://​repositorio.uchile.cl/​handle/​2250/​179353|A Reasonably Exceptional Type Theory]] [co-advised with Nicolas Tabareau]. Defended 29/12/2020.         * Hans Fehrmann: [[http://​repositorio.uchile.cl/​handle/​2250/​179353|A Reasonably Exceptional Type Theory]] [co-advised with Nicolas Tabareau]. Defended 29/12/2020.
         * Fabian Mosso: [[http://​repositorio.uchile.cl/​handle/​2250/​176770|Countable Polymorphic May-Must Effects]] [co-advised with Matías Toro]. Defended 12/06/2020.         * Fabian Mosso: [[http://​repositorio.uchile.cl/​handle/​2250/​176770|Countable Polymorphic May-Must Effects]] [co-advised with Matías Toro]. Defended 12/06/2020.