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:mtoro [2016/09/29 23:51] – [Research Interests] mtoropeople:mtoro [2025/01/09 11:03] (current) – mtoro
Line 1: Line 1:
- {{http://users.dcc.uchile.cl/~mtoro/matias_toro.jpg?200 }}+ {{http://users.dcc.uchile.cl/~mtoro/matias_toro_2019.jpg?200 }}
 |  **Matías Toro Ipinza**  || |  **Matías Toro Ipinza**  ||
-| PHD Student|  [[mtoro@dcc.uchile.cl]]  |+| Assistant Professor|  [[mtoro@dcc.uchile.cl]]  |
 | [[http://pleiad.dcc.uchile.cl/|PLEIAD Lab]] |  Blanco Encalada 2120, of 325  | | [[http://pleiad.dcc.uchile.cl/|PLEIAD Lab]] |  Blanco Encalada 2120, of 325  |
 | [[http://www.dcc.uchile.cl/|Computer Science Department (DCC)]] |  Santiago, Chile  | | [[http://www.dcc.uchile.cl/|Computer Science Department (DCC)]] |  Santiago, Chile  |
Line 13: Line 13:
     * Security Typing     * Security Typing
     * Substructural Type Systems     * Substructural Type Systems
-    * Abstract Gradual Typing+    * Abstracting Gradual Typing 
 +    * Differential Privacy 
 + 
  
  
Line 24: Line 27:
  
 <html> <html>
-<script>load_bibtex('mtoro')</script>+<script>window.addEventListener("load", function(event) { 
 +    load_bibtex('mtoro'); });</script>
 <div id="bibtex">Loading bibtex info...</div> <div id="bibtex">Loading bibtex info...</div>
 </html> </html>
 +
 +===== PC membership AND journal reviews =====
 +==== 2025 ====
 +\\
 +<html>
 +<b>ICFP</b><br/>
 +<i>30th ACM SIGPLAN International Conference on Functional Programming</i><br/>
 +Program committee of ICFP papers.
 +</html>
 +\\
 +<html>
 +<b>PLDI</b><br/>
 +<i>46th ACM SIGPLAN Conference on Programming Language Design and Implementation</i><br/>
 +Program committee of PLDI papers.
 +</html>
 +
 +==== 2022 ====
 +\\
 +<html>
 +<b>ICFP</b><br/>
 +<i>27th ACM SIGPLAN International Conference on Functional Programming</i><br/>
 +Program committee of ICFP papers.
 +</html>
 +
 +==== 2021 ====
 +\\
 +<html>
 +<b>ML’21</b><br/>
 +<i>ML Family 2021 workshop</i><br/>
 +Program committee of ML’21 papers.
 +</html>
 +
 +<html>
 +<b>COLA</b><br/>
 +<i>Journal of Computer Languages</i><br/>
 +Reviewer of two journal articles.
 +</html>
 +
 +==== 2020 ====
 +\\
 +<html>
 +<b>POPL</b><br/>
 +<i>47th ACM SIGPLAN Symposium on Principles of Programming Languages</i><br/>
 +Artifact Evaluation Committee
 +</html>
 +
 +==== 2019 ====
 +\\
 +<html>
 +<b>OOPSLA</b><br/>
 +<i>Proceedings of the 35th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Lan- guages and Applications</i><br/>
 + 
 +Artifact Evaluation Committee
 +</html>
 +
 +===== Funding =====
 +
 +==== 2025 ====
 +\\
 +<html>
 +<b>FONDECYT DE INICIACIÓN</b><br/>
 +<i>Fondo Nacional de Desarrollo Científico y Tecnológico</i><br/>
 +Funding for three years.
 +</html>
 +
 +==== 2024 ====
 +\\
 +<html>
 +<b>PROYECTO DE COLABORACIÓN INTERNACIONAL DFG-ANID</b><br/>
 +<i>Fondo Nacional de Desarrollo Científico y Tecnológico</i><br/>
 +Funding for three years.
 +</html>
 +
 +
 +==== 2020 ====
 +\\
 +<html>
 +<b>FONDECYT</b><br/>
 +<i>Fondo Nacional de Desarrollo Científico y Tecnológico</i><br/>
 +Funding for three years for a postdoc in the University of Chile.
 +</html>
 +
 +==== 2015 ====
 +\\
 +<html>
 +<b>CONICYT</b><br/>
 +<i>Comisión Nacional de Investigación Científica y Tecnológica</i><br/>
 +Funding for four years to complete the PhD studies.
 +</html>
 +
 +==== 2013 ====
 +\\
 +<html>
 +<b>CONICYT</b><br/>
 +<i>Comisión Nacional de Investigación Científica y Tecnológica</i><br/>
 +Funding for two years to complete the Master studies.
 +</html>
 +