Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Next revision Both sides next revision
people:fmosso [2016/06/23 06:03]
etanter
people:fmosso [2016/06/23 13:34]
fmosso [Research Interests]
Line 1: Line 1:
-    {{private:user_picture.png?nolink|Name}}     || +| {{:people:fmosso.png?200|Name}} | <html><h2>Fabián Mosso</h2></html>  |  
- **Name**  | [[xxx@dcc.uchile.cl]]+|:::| [[fmosso@dcc.uchile.cl]]| Undergrad 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 2 xxx xxxx | +|:::| phone: +56 9 8729 8123 | [[http://www.uchile.cl|University of Chile]] | 
-| [[http://www.uchile.cl|University of Chile]]|  fax+56 2 xxx xxxx|+ 
 + 
 +===== Teaching Assistant ===== 
 + 
 +    * [[teaching:cc4101|CC4101 - Lenguajes de Programación]]
  
  
 ===== Research Interests ===== ===== Research Interests =====
 +    * Verified programming
 +    * Type-and-effect systems