Welcome, from Chuck
I am currently a master's student in the University of Utah computer science department. I previously completed a double major in Finance and Mathematics at the University of Utah.
My interests are primarily in systems--including networks, operating systems, parallel programming and architectures; formal verification; programming languages; and algorithms.
I am currently doing research with