Author

Karla Morris (she/her) is a research staff member in the “Digital Foundations & Mathematics” 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 CCNY1s 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 U.S. Her research interests span a broad range of topics, including multiphysics flows, quantum turbulence, high performance computing, scientific software architecture, programming models, and formal methods. She is co-editor of the Computing in Science and Engineering (CiSE) Software Engineering Track.