 | Gaspar Ricci | |
| MSc Candidate in Computer Science | gricci@dcc.uchile.cl | |
| University of Chile | Beauchef 851 | |
| Department of Computer Science (DCC) | Santiago, Chile | |
| PLEIAD Lab |
Research Interests
In no particular order, I am interested in the following topics:
- Program semantics
- Program analysis and verification
- Type systems
- Gradual typing
- Compilers and computer architecture
- Proof assistants