Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| people:fmosso [2016/06/23 09:02] – created etanter | people:fmosso [2017/07/13 20:09] (current) – fmosso | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | test | + | | {{: |
| + | |:::| [[fmosso@dcc.uchile.cl]]| Master Student | | ||
| + | |:::| Beauchef 851 | [[http:// | ||
| + | |:::| Santiago, Chile | [[http:// | ||
| + | |:::| phone: +56 9 8729 8123 | [[http:// | ||
| + | |:::| [[https:// | ||
| + | |||
| + | |||
| + | ===== Teaching Assistant ===== | ||
| + | |||
| + | * [[teaching: | ||
| + | |||
| + | |||
| + | ===== Research Interests ===== | ||
| + | * Verified programming | ||
| + | * Type-and-effect systems | ||

