Computer Science and Engineering student at UC Davis. Currently researching static analyzers and contributing to LLVM.