Student at University of Colorado Boulder. Working part time at CU Programming Languages and Verification lab.