Presenter

Karla Morris 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 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 U.S. Her research interests span a broad range of topics, including multiphysics flows, high performance computing, scientific software architecture, programming models, and formal methods.