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