Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
people:fmosso [2016/06/23 16:19] – fmossopeople:fmosso [2017/07/13 20:09] (current) – fmosso
Line 1: Line 1:
 | {{:people:fmosso.png?200|Name}} | <html><h2>Fabián Mosso</h2></html>  |  | | {{:people:fmosso.png?200|Name}} | <html><h2>Fabián Mosso</h2></html>  |  |
-|:::| [[fmosso@dcc.uchile.cl]]| Undergrad Student |+|:::| [[fmosso@dcc.uchile.cl]]| Master Student |
 |:::| Beauchef 851 | [[http://pleiad.dcc.uchile.cl/|PLEIAD Lab]] | |:::| Beauchef 851 | [[http://pleiad.dcc.uchile.cl/|PLEIAD Lab]] |
 |:::| Santiago, Chile |  [[http://www.dcc.uchile.cl/|Computer Science Department (DCC)]] | |:::| Santiago, Chile |  [[http://www.dcc.uchile.cl/|Computer Science Department (DCC)]] |
 |:::| phone: +56 9 8729 8123 | [[http://www.uchile.cl|University of Chile]] | |:::| phone: +56 9 8729 8123 | [[http://www.uchile.cl|University of Chile]] |
 +|:::| [[https://github.com/fmosso | Github]] |
 +
 +
 +===== Teaching Assistant =====
 +
 +    * [[teaching:cc4101|CC4101 - Lenguajes de Programación]]
  
  
 ===== Research Interests ===== ===== Research Interests =====
 +    * Verified programming
 +    * Type-and-effect systems