Name

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