~~NOTOC~~


|{{people:gricci.jpg?nolink&200}}|  **Gaspar Ricci**  |   |
|:::|MSc Candidate in Computer Science |   [[gricci@dcc.uchile.cl]]| 
|:::| [[http://www.uchile.cl|University of Chile]] |  Beauchef 851| 
|:::| [[http://www.dcc.uchile.cl/|Department of Computer Science (DCC)]] |   Santiago, Chile|
|:::| [[http://pleiad.cl/|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