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

