| {{:people:fmosso.png?200|Name}} | Fabián Mosso
| |
|:::| [[fmosso@dcc.uchile.cl]]| Master Student |
|:::| Beauchef 851 | [[http://pleiad.dcc.uchile.cl/|PLEIAD Lab]] |
|:::| Santiago, Chile | [[http://www.dcc.uchile.cl/|Computer Science Department (DCC)]] |
|:::| phone: +56 9 8729 8123 | [[http://www.uchile.cl|University of Chile]] |
|:::| [[https://github.com/fmosso | Github]] |
===== Teaching Assistant =====
* [[teaching:cc4101|CC4101 - Lenguajes de Programación]]
===== Research Interests =====
* Verified programming
* Type-and-effect systems