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
Next revisionBoth sides next revision
people:elabrada [2016/07/21 17:36] elabradapeople:elabrada [2016/07/21 18:27] elabrada
Line 1: Line 1:
-    {{private:elabrada.png?nolink|Elizabeth Labrada Deniz}}     |+|{{people:elizabeth.png?nolink}}|<html><h2>Elizabeth Labrada Deniz</h2></html>   
-|  **Elizabeth Labrada Deniz**  || +|:::| Ph.D. Student |   [[elabrada@dcc.uchile.cl]]|  
-//PhD Student//|[[elabrada@dcc.uchile.cl]]| +|:::| [[http://www.uchile.cl|University of Chile]] |  Beauchef 851, of.304, Santiago, Chile|  
-| [[http://pleiad.dcc.uchile.cl/|PLEIAD Lab]]|fax: +56 2 2689 5531 +|:::| [[http://www.dcc.uchile.cl/|Computer Science Department (DCC)]] |   fax: +56 2 2689 5531
-| [[http://www.dcc.uchile.cl/|Computer Science Department (DCC)]] | phone: +56 2 29867692 +|:::| [[http://pleiad.cl/|PLEIAD Lab]] |  phone: +56 2 2978 4953| 
-| [[http://www.uchile.cl|University of Chile]]|Beauchef 851, of.304 Santiago, Chile|+
  
 ===== Research Interests ===== ===== Research Interests =====
Line 10: Line 10:
     * Gradual Typing     * Gradual Typing
 ===== Short Research Description ===== ===== Short Research Description =====
 +The meaning of gradual typing for languages where types influence the dynamic semantic, such as languages with overloading, type tests,  implicits or others features.