I am a computer engineering student at BYU. I work as a research assistant creating tools to automatically verify the correctness of concurrent programs.