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 |