Search

Results 226–250 of 482

John A. Mitchell
Staff Page • Computational Multiscale. Brief Research and Project History Nonlinear solver algorithms and implementations for solid mechanics Engineering project management Technology maturation and assessment Constitutive model development (particularly Peridynamics) GPU programming Inverse problems Monte Carlo models for grain growth in metals Data analytics applied to metal material microstructures, insitu pyrometry data Microstructure...
Oct 26 2022

John Adam Stephens
Staff Page • Optimization & Uncertainty Quantification. Biography Adam joined Sandia in 2013 as a senior member of technical staff. He currently works primarily as a developer of Dakota (https://dakota.sandia.gov) and leads the Dakota Mission Integration thrust, which is charged with bridging the gap between upstream R&D and ordinary Dakota users. Adam's research...

John Davis Jakeman
Staff Page • Optimization & Uncertainty Quantification. Biography I specialize in developing and utilizing machine learning methods for credible data-informed decision making. My experience lies in the intersection of mathematics, statistics and computer science. I am the founding developer of PyApprox which is a Python toolbox for machine learning, uncertainty quantification and design...

John Henry Judah Niederhaus
Staff Page • Computational Multiphysics. Biography Modeling and simulation research background: High-velocity and hyper-velocity impact. Pulsed power systems. Explosives. Exploding wires and spark discharges. Magnetohydrodynamics. Gas dynamics and shock-accelerated flows. Education 2007 University of Wisconsin-Madison, Engineering Physics - PhD2003 Pennsylvania State University, Nuclear Engineering - MS2001 Virginia Military Institute, Physics - BS Publications

John N. Shadid
Staff Page • Computational Mathematics. Biography I am a Distinguished Member of the Technical Staff in the Computational Mathematics Department at Sandia National Laboratories. I am also a National Laboratory Professor in the Department of Mathematics and Statistics at the University of New Mexico. My research interests include: high performance computing, and parallel...

John Siirola
Staff Page • Discrete Math & Optimization. Biography John Siirola is a Distinguished Member of Technical Staff in the Discrete Math & Optimization Department at Sandia National Laboratories. His main areas of expertise are systems design, operations research, optimization modeling, and optimization algorithms. John’s research focuses on the intersection of computational tools with...

John von Neumann Fellowship
Award, August 1, 2014 • Award, Sandia National Laboratories. The John von Neumann Postdoctoral Research Fellowship in Computational Science offers an exceptional opportunity to conduct innovative research in computational mathematics and scientific computing on advanced...

Joint Position in Scalable Computing R&D with UNM
News Article, May 1, 2016 • The Center for Computing Research (CCR) is pleased to announce a job opening for a joint position with the University of New Mexico (UNM) in Scalable Computing R&D. The CCR seeks qualified candidates to help establish a strong collaboration with UNM in the area of Scalable Computing research and development....
University of New Mexico - Sandia National Laboratories Logo

Jonathan J. Hu
Staff Page • Scalable Algorithms. Biography I am a Principal Member of the Technical Staff in the Scalable Algorithms Department at Sandia National Labs. My interests include scalable solution methods for linear systems, such as multigrid methods, preconditioning techniques for problems arising from uncertainty quantification, and solvers for advanced architectures. I am a...

Jonathan W. Berry
Staff Page • Discrete Math & Optimization. Biography Jonathan Berry is a Distinguished Member of the Technical Staff at Sandia National Laboratories. He holds a Ph.D. in computer science from Rensselaer Polytechnic Institute and spent almost a decade in liberal arts academia before joining Sandia in 2004. He has led a variety of...

Joseph Lee Hart
Staff Page • Scientific Machine Learning. Biography Joseph is interested in quantifying, prioritzing, and mitigating uncertainty in large-scale optimization problems constrained by differential equations. His research spans numerical optimization, sensitivity analysis, inverse problems, optimal experimental design, and scientific machine learning in the service of outer loop analysis. Joseph focuses on finding and exploiting...

Juan Pedro Mendez Granado
Staff Page • Cognitive & Emerging Computing. Biography I am a Senior Member of Technical Staff in the CCR at Sandia National Laboratories. My work at Sandia has been mainly focused on quantum transport simulations and semiclassical simulations for nano-scale device modeling. I joined Sandia National Laboratories in 2019 as Postdoc in Cognitive...

Kara J. Peterson
Staff Page • Computational Mathematics. Biography Kara is a principal member of the technical staff in the Computational Mathematics Department. Her research focuses on numerical discretizations for partial differential equations applied to variety of of application areas including Earth systems. Research areas include anisotropic dynamics for sea ice models, property preserving methods for...

Karen Devine awarded the Society of Women Engineers 2019 Prism Award
News Article, November 1, 2019 • Karen Devine has been awarded the Society of Women Engineers (SWE) 2019 Prism Award.  According to SWE, "the Prism Award recognizes a woman who has charted her own path throughout her career, providing leadership in technology fields and professional organizations along the way."   Karen has been deservedly awarded this honor based on...
Karen Devine, 2019 SWE Prism Award Winner

Kenneth Michael Rudinger
Staff Page • Quantum Computer Science. Biography I'm a staff member in Organization 1425, working in the field of quantum information and quantum computing. Current work of mine focuses predominately on optimizing tomography of quantum information processors, using a framework developed here at Sandia known as gate set tomography. I also study quantum...

Kevin Pedretti
Staff Page • Scalable System Software. Biography Kevin Pedretti is a Distinguished Member of Technical Staff in the Scalable System Software department at Sandia National Laboratories. He has helped develop several large-scale parallel computers, including the Red Storm system that was productized as the Cray XT line of supercomputers and Astra, the first...

Kevin Thompson
Staff Page • R&D S&E, Computer Science. Biography Kevin has been at Sandia since 2019, first as a postdoc then as a staff member.  He is an applied mathematician/theoretical computer scientist and with primary focus in quantum optimization.  Additionally, he has expertise in many other subfields of quantum information including quantum error correction,...
Headshot of Kevin Thompson

Key Numerical Computing Algorithm Implemented on Neuromorphic Hardware
News Article, July 1, 2020 • Researchers in Sandia’s Center for Computing Research (CCR) have demonstrated using Intel’s Loihi and IBM’s TrueNorth that neuromorphic hardware can efficiently implement Monte Carlo solutions for partial differential equations. CCR researchers had previously hypothesized that neuromorphic chips were capable of implementing critical Monte Carlo algorithm kernels efficiently at large scales,...

Kitten Lightweight Kernel
Software • Kitten is a current-generation lightweight kernel (LWK) compute node operating system designed for large-scale parallel computing systems. Kitten is the latest in a long line of successful LWKs, including SUNMOS, Puma, Cougar, and Catamount. Kitten distinguishes itself from these prior LWKs by providing a Linux-compatible user environment, a more modern and extendable...

Kitten Lightweight Kernel
Project • Kitten is a current-generation lightweight kernel (LWK) compute node operating system designed for large-scale parallel computing systems. Kitten is the latest in a long line of successful LWKs, including SUNMOS, Puma, Cougar, and Catamount. Kitten distinguishes itself from these prior LWKs by providing a Linux-compatible user environment, a more modern and extendable...

Kitten Lightweight Kernel Booting on Intel Knights Landing processor and Running HPX-5 Many-Task Runtime System
News Article, April 1, 2016 • Sandia’s Kitten Lightweight Kernel operating system has been ported to a pre-production Intel Knights Landing system and demonstrated running the XPRESS system software stack on the “many-core” system’s 240 available hardware contexts (Figure 1).  The demo was presented at a recent DOE ASCR X-Stack Program Principal Investigator Meeting and consisted...
The XPRESS System Software Stack

Kitten OS Demonstrates Near-Native Network Performance on Cray Aries Interconnect
News Article, June 1, 2017 •  One of the challenges in designing, developing, and deploying a research operating system (OS) for high- performance computing platforms has been the integration of device drivers for peripheral hardware, such as disk drives and network adapters. Developing and maintaining a device driver, which essentially allows the operating system to make...
These plots show the MPI ping-pong latency (a) and bandwidth (b) achieved by Cray Linux, the Kitten LWK running natively, and Kitten running in a virtual machine for the Cray Aries interconnect. Kitten is able to achieve near-native MPI performance without a custom device driver by employing a multi-kernel strategy that uses the Linux device driver for Aries.

Kitten Virtualization Team
Award, July 10, 2010 • Internal - employee recognition award, Sandia National Laboratories. "For demonstrating the viability of virtual machine technology for HPC applications at a scale two orders of magnitude beyond any previous study"

Kokkos
Software • Modern high performance computing (HPC) nodes have diverse and heterogeneous types of cores and memory. For applications and domain-specific libraries/languages to scale, port, and perform well on these next generation architectures, their on-node algorithms must be re-engineered for thread scalability and performance portability. The Kokkos programming model and C++ library implementation helps HPC applications and...
Results 226–250 of 482