Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
people:mtoro [2013/11/25 16:43] – mtoro | people:mtoro [2022/06/10 15:52] (current) – mtoro | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | | + | |
| **Matías Toro Ipinza** | | **Matías Toro Ipinza** | ||
- | | Master Student| [[mtoro@dcc.uchile.cl]] | + | | Assistant Professor| [[mtoro@dcc.uchile.cl]] |
| [[http:// | | [[http:// | ||
| [[http:// | | [[http:// | ||
Line 9: | Line 9: | ||
===== Research Interests ===== | ===== Research Interests ===== | ||
* Programming Languages | * Programming Languages | ||
- | * Type and effect or effect system | + | * Type-and-effect |
+ | * Gradual Typing | ||
+ | * Security Typing | ||
+ | * Substructural Type Systems | ||
+ | * Abstracting Gradual Typing | ||
+ | * Differential Privacy | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | ===== Publications ===== | ||
+ | |||
+ | <note important> | ||
+ | //The following documents are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors | ||
+ | // | ||
+ | </ | ||
+ | |||
+ | < | ||
+ | < | ||
+ | load_bibtex(' | ||
+ | <div id=" | ||
+ | </ | ||
+ | |||
+ | ===== PC membership AND journal reviews ===== | ||
+ | |||
+ | ==== 2022 ==== | ||
+ | \\ | ||
+ | < | ||
+ | < | ||
+ | < | ||
+ | Program committee of ICFP papers. | ||
+ | </ | ||
+ | |||
+ | ==== 2021 ==== | ||
+ | \\ | ||
+ | < | ||
+ | < | ||
+ | <i>ML Family 2021 workshop</ | ||
+ | Program committee of ML’21 papers. | ||
+ | </ | ||
+ | |||
+ | < | ||
+ | < | ||
+ | < | ||
+ | Reviewer of two journal articles. | ||
+ | </ | ||
+ | |||
+ | ==== 2020 ==== | ||
+ | \\ | ||
+ | < | ||
+ | < | ||
+ | < | ||
+ | Artifact Evaluation Committee | ||
+ | </ | ||
+ | |||
+ | ==== 2019 ==== | ||
+ | \\ | ||
+ | < | ||
+ | < | ||
+ | < | ||
+ | |||
+ | Artifact Evaluation Committee | ||
+ | </ | ||
+ | |||
+ | ===== Funding ===== | ||
+ | |||
+ | ==== 2020 ==== | ||
+ | \\ | ||
+ | < | ||
+ | < | ||
+ | < | ||
+ | Funding for three years for a postdoc in the University of Chile. | ||
+ | </ | ||
+ | |||
+ | ==== 2015 ==== | ||
+ | \\ | ||
+ | < | ||
+ | < | ||
+ | < | ||
+ | Funding for four years to complete the PhD studies. | ||
+ | </ | ||
+ | |||
+ | ==== 2013 ==== | ||
+ | \\ | ||
+ | < | ||
+ | < | ||
+ | < | ||
+ | Funding for two years to complete the Master studies. | ||
+ | </ | ||