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 15:45] – fmossopeople:fmosso [2017/07/13 20:09] (current) – fmosso
Line 1: Line 1:
-|     {{private:user_picture.png?nolink|Name}}     || +| {{:people:fmosso.png?200|Name}} | <html><h2>Fabián Mosso</h2></html>  |  | 
-|  Fabian Andres Mosso Chavez  | [[fmosso@dcc.uchile.cl]]| +|:::| [[fmosso@dcc.uchile.cl]]| Master Student | 
-| Undergrad Student |   Beauchef 851 | +|:::| Beauchef 851 | [[http://pleiad.dcc.uchile.cl/|PLEIAD Lab]] | 
-| [[http://pleiad.dcc.uchile.cl/|PLEIAD Lab]] |  Santiago, Chile | +|:::| Santiago, Chile |  [[http://www.dcc.uchile.cl/|Computer Science Department (DCC)]] | 
-| [[http://www.dcc.uchile.cl/|Computer Science Department (DCC)]] |  phone: +56 9 8729 8123 | +|:::| phone: +56 9 8729 8123 | [[http://www.uchile.cl|University of Chile]] | 
-| [[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