**Members of the OVER-QC project:**

Mohan Sarovar (Lead PI, Thrust 2 Lead, Sandia National Laboratories)

Website__Email:__ mnsarov (--at--) sandia (--dot--) gov__Expertise__: *Quantum computing, quantum control, open quantum systems*

Andrew Baczewski (Thrust 3 Lead, Sandia National Laboratories)

Website__Expertise__: *Quantum simulation, qubit modeling, numerical analysis, and materials science*

Wayne Witzel (Thrust 1 Lead, Sandia National Laboratories)

Website__Expertise__: *Quantum computing, qubit modeling, software for theorem proving*

Patrick Coles (PI, Los Alamos National Laboratory)

Website__Expertise__: *Quantum computing, quantum algorithms*

James Whitfield (PI, Dartmouth College)

Website__Expertise__: *Quantum computing, electronic structure, molecular physics*

Ojas Parekh (Sandia National Laboratories)

Website__Expertise__: *Quantum optimization, discrete optimization, algorithm design and analysis*

Matthew Grace (Sandia National Laboratories)

Website__Expertise__: *Control, analysis, and simulation of quantum dynamical systems, especially in the context of quantum information and devices*

Denis Ridzal (Sandia National Laboratories)

Website__Expertise__: *Applied mathematics, numerical analysis, numerical optimization*

Greg von Winckel (Sandia National Laboratories)

Website__Expertise__: *Applied mathematics, numerical analysis, numerical optimization*

Kenneth Rudinger (Sandia National Laboratories)

Website__Expertise__: *Quantum computing, quantum algorithms, quantum characterization, verification and validation*

Antonio Russo (Sandia National Laboratories)

Website__Expertise__: *Quantum computing, condensed matter theory, topological order*

Lucas Kocia (Sandia National Laboratories)

Website__Expertise__: *Semiclassical theory, quantum computing*

Geoffrey Hulette (Sandia National Laboratories)

Website__Expertise__: *Formal methods, logic, trusted digital systems*

Lukasz Cincio (Los Alamos National Laboratory)__Expertise__: *Quantum computing, computational quantum many-body physics, machine-learning*

Yigit Subasi (Los Alamos National Laboratory)__Expertise__: *Quantum computing, quantum thermodynamics, nonequilibrium statistical mechanics*

Jon Aytac (Sandia National Laboratories)__Expertise__: *Formal methods, quantum computing*

Alicia Magann (Sandia National Laboratories and Princeton University)__Expertise__: *Quantum control, quantum computing, molecular systems*

Alina Kononov (Sandia National Laboratories)__Expertise__: *Simulation of excited electron dynamics, computational materials science*

Joaquin Madrid Larranaga (Sandia National Laboratories and Occidental College)__Expertise__: *Software development, computational modeling*

Chaitanya Karamchedu (Sandia National Laboratories and Harvey Mudd College)__Expertise__: *Quantum computing, graph theory, quantum optics*

Christopher Jackson (Sandia National Laboratories)__Expertise__: *Differential Geometry, Representation Theory, Quantum Tomography*

Ryan Shaffer (Sandia National Laboratories and University of California, Berkeley)__Expertise__: *Quantum Computing, Software Engineering, http://www.ryanshaffer.net/*

Johnny Crossman (Sandia National Laboratories and Cornell University)__Expertise__: *Ising machines, Software Engineering*