Differences
This shows you the differences between two versions of the page.
Next revision | Previous revisionNext revisionBoth sides next revision | ||
people:fmosso [2016/06/23 06:02] – created etanter | people:fmosso [2016/06/23 13:22] – [Research Interests] fmosso | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | test | + | | {{: |
+ | |:::| [[fmosso@dcc.uchile.cl]]| Undergrad Student | | ||
+ | |:::| Beauchef 851 | [[http:// | ||
+ | |:::| Santiago, Chile | [[http:// | ||
+ | |:::| phone: +56 9 8729 8123 | [[http:// | ||
+ | |||
+ | |||
+ | ===== Research Interests ===== | ||
+ | * Verified programming | ||
+ | * Type-and-effect systems |