Differences
This shows you the differences between two versions of the page.
Next revision | Previous revisionNext revisionBoth sides next revision | ||
people:mtoro [2013/08/26 17:25] – created etanter | people:mtoro [2022/02/24 12:50] – [2022] mtoro | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | | {{private:user_picture.png?nolink|Name}} || | + | {{http://users.dcc.uchile.cl/ |
- | | **Name** || | + | | **Matías Toro Ipinza** || |
- | | //MSc Student//| | + | | Postdoctoral |
- | | | | + | | [[http:// |
- | | [[http:// | + | | [[http:// |
- | | [[http:// | + | | [[http:// |
- | | [[http:// | + | |
+ | |||
+ | ===== Research Interests ===== | ||
+ | * Programming Languages | ||
+ | * Type-and-effect systems | ||
+ | * Gradual Typing | ||
+ | * Security Typing | ||
+ | * Substructural Type Systems | ||
+ | * Abstracting Gradual Typing | ||
+ | * Differential Privacy | ||
- | ===== Short Research Description ===== | ||
===== Publications ===== | ===== Publications ===== | ||
Line 18: | Line 27: | ||
< | < | ||
- | < | + | < |
<div id=" | <div id=" | ||
</ | </ | ||
- | ===== Other Stuff ===== | + | ===== 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. | ||
+ | </ | ||
+ |