Karla Morris is a Principal Member of Technical Staff in the “Assured Digital Systems and Components” department at Sandia National Laboratories in Livermore, CA, USA. She holds Ph.D., M. Phil., M.E. and B.E. degrees in Mechanical Engineering from The City University of New York. Before joining Sandia, she conducted Post-Doctoral research at CCNY's Benjamin Levich Institute for Physico-chemical Hydrodynamics. Her current research in formal methods include the development of techniques for modeling and formally verifying hardware/software in high consequence systems. She has taught tutorials and short courses on high performance computing at many conferences and institutions in Europe and the US. Her research interests span a broad range of topics, including multiphysics flows, high performance computing, scientific software architecture, programming models, and formal methods.