Joshua Asplund is a computer scientist in the Center for
Applied Scientific Computing at Lawrence Livermore
National Laboratory. His research is focused on
verification and parallel programming models. He is also
interested methods of incorporating verification into the
software engineering process. He received his B.S in
Computer Science and Mathematics from Brigham Young
University in 2016.