Network Systems Science and Advanced Computing

Henning Mortveit

  • Associate Professor
  • Associate Professor of Engineering Systems and Environment, School of Engineering and Applied Science
Henning Mortveit headshot
Bio

Bio

Henning S. Mortveit is an associate professor in the Network Systems Science and Advanced Computing division and in the Department of Engineering Systems and Environment. See faculty page.

  • How can we make a city and its physical infrastructures more resilient? How can existing infrastructures be modified to make a city more robust with respect to disasters? How do we reason about these questions in rigorous and efficient ways?

    Modern cities are examples of highly complex systems that can be captured as massively interacting systems whose network components co-evolve with time. To capture these systems in a precise mathematical manner is a challenge that must address:

    • modeling power
    • ability to analytically analyze and validate mathematical models
    • ability to efficiently implement models (construct simulation models) on current, high performance hardware
    • scalability to accommodate simulation analysis needs in a timely manner

    Mortveit’s research involves all these aspects and is rooted in the framework of Graph Dynamical Systems (GDS). This class of dynamical systems was introduced as a natural mathematical framework that permits precise modeling of massively interacting systems, and it addresses all the challenges above. His work covers both fundamental theory of GDS and their applications to system design, modeling, and analysis.

    Part of his work covers software and system design for scalable, scientific computing. Ensuring scientifically reproducible computation for large scale simulation models is quite complex. Tracking all data sources, their provenance, their transformations to fit required input formats, the tracking of the tools and algorithms used to transform the data, as well as the simulation models that were used, give rise to many challenges. This work addresses this problem as well as efficient ways to add and combine simulation models for innovative and rapid modeling and analysis with integrated validation and data quality assessments.

    Mortveit enjoys scientific visualization of spatial phenomena, in particular illustrations of dynamics of large, interaction-based systems involving synthetic information.

    Keywords: Graph Dynamical Systems // Simulation Science // Stability Analysis (e.g., verification and validation, and sensitivity analysis)

  • Norwegian University of Science and Technology, Mathematics, Ph.D. 2000
    Norwegian Institute of Technology, Mathematics, M.S. 1995

  • Los Alamos National Laboratory, Mathematics and Simulation, Postdoctoral Associate, 2000-2002
    Los Alamos National Laboratory, Mathematics and Simulation, Staff member, 2002-2005
    Virginia Tech, Department of Mathematics, and Biocomplexity Institute, Associate Professor, 2005-2018

Selected Publications
Network Systems Science and Advanced Computing
Mortveit HS; Pederson RD . Bulletin of Mathematical Biology. 2019; 81:1442-1460
Network Systems Science and Advanced Computing
Wu S; Mortveit HS; Gupta S . Proceedings of the ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS). 2017; :197-207
Network Systems Science and Advanced Computing
Adiga A; Galyean H; Kuhlman CJ; Levet M; Mortveit HS; Wu S . Proceedings of the 21st International Workshop on Cellular Automata and Discrete Complex Systems. Springer, Cham. 2015; :210-223
Network Systems Science and Advanced Computing
Wu S; Adiga A; Mortveit HS . Theoretical Computer Science. 2014; 559:34-41
Network Systems Science and Advanced Computing
Mortveit HS; Murrugarra D; Kuhlman CJ; Kumar VSA . Discrete Mathematics and Theoretical Computer Science, Proceedings of the 17th International Workshop on Cellular Automata and Discrete Complex Systems. 2011; :29-46
Network Systems Science and Advanced Computing
Macauley M; Mortveit HS . The Electronic Journal of Combinatorics. 2011; 18(1):197
Network Systems Science and Advanced Computing
Macauley M; Mortveit HS . Nonlinearity. 2009; 22(2):421-436
Network Systems Science and Advanced Computing
Tripp J; Hansson A; Gokhale M; Mortveit HS . Proceedings of the 2005 ACM/IEEE Conference on Supercomputing '05. 2005;
In the News
Pests

Agricultural trade is crucial in delivering food to consumers worldwide. The benefits range from lower prices to greater variety in our food supply, and most importantly, the ability to reduce food insecurity across the globe. But, as international trade increases, so does the spread of invasive and destructive agricultural pests that can threaten food production and even destabilize our global food supply.   

Mortveit