Presenter

John Jacobson is a PhD student at the Kahlert School of Computing at the University of Utah, with a BS in Mathematics from Arizona State University. John's current research is on memory safety for GPU programs, while his interests lie more broadly in the application of formal methods and mathematics to HPC.