 | Fabián Mosso | |
| fmosso@dcc.uchile.cl | Master Student | |
| Beauchef 851 | PLEIAD Lab | |
| Santiago, Chile | Computer Science Department (DCC) | |
| phone: +56 9 8729 8123 | University of Chile | |
| Github |
Teaching Assistant
Research Interests
- Verified programming
- Type-and-effect systems