This is an old revision of the document!
 | Fabián Mosso | |
| fmosso@dcc.uchile.cl | Undergrad Student | |
| Beauchef 851 | PLEIAD Lab | |
| Santiago, Chile | Computer Science Department (DCC) | |
| phone: +56 9 8729 8123 | University of Chile |
Research Interests
- Verified programming
- Type-and-effect systems