Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
people:fmosso [2016/06/23 13:19] – fmosso | people:fmosso [2016/06/23 13:39] – fmosso | ||
---|---|---|---|
Line 4: | Line 4: | ||
|:::| Santiago, Chile | [[http:// | |:::| Santiago, Chile | [[http:// | ||
|:::| phone: +56 9 8729 8123 | [[http:// | |:::| phone: +56 9 8729 8123 | [[http:// | ||
+ | |:::| [[https:// | ||
+ | |||
+ | |||
+ | ===== Teaching Assistant ===== | ||
+ | |||
+ | * [[teaching: | ||
===== Research Interests ===== | ===== Research Interests ===== | ||
+ | * Verified programming | ||
+ | * Type-and-effect systems | ||