Krysta M. Svore | |
---|---|
Born | Krysta Marie Svore 1979 (age 44–45) Seattle, Washington, U.S. |
Nationality | American |
Alma mater | |
Known for |
|
Awards |
|
Scientific career | |
Fields | Computer science, Quantum computing |
Institutions | Microsoft |
Thesis | Software Tools and Failure Thresholds for Reliable, Scalable, Fault-tolerant Quantum Computation (2006) |
Doctoral advisor | Al Aho, Joseph F. Traub [2] |
Krysta Marie Svore (born 1979) [3] is an American computer scientist specializing in quantum computing. She is the Technical Fellow and Vice President of advanced quantum development for Microsoft Azure Quantum. [4] [5]
She previously led the Azure Quantum [6] software team (formerly the Quantum Architectures and Computation group at Microsoft Research) for Microsoft in Redmond, Washington, developing Azure Quantum and bringing the first quantum computers to the Microsoft Azure cloud. [7]
Formerly she served as the Distinguished Engineer and Vice President of Quantum Software. [8] [9] Beyond quantum computing, she has also worked on research in machine learning. [10]
Svore is originally from the Seattle, Washington area. She majored in mathematics at Princeton University, [11] and became intrigued by the possibilities of quantum computing through a junior-year seminar on cryptography given by Andrew Wiles, in which she learned of the ability of quantum computers using Shor's algorithm to break the RSA cryptosystem. [10]
She completed her Ph.D. in 2006 at Columbia University, with highest distinction, under the joint supervision of Alfred Aho and Joseph F. Traub. Her dissertation was Software Tools and Failure Thresholds for Reliable, Scalable, Fault-tolerant Quantum Computation. [12]
She joined Microsoft Research in 2006, initially working on problems in machine learning but later focusing more heavily on her work with quantum computing. [10]
Svore also serves on the National Quantum Initiative Advisory Committee and the Advanced Scientific Computing Advisory Committee for U.S. Department of Energy. [13] [14]
Svore was named to the 2021 class of Fellows of the American Association for the Advancement of Science. [15] She was named a Fellow of the American Physical Society in 2023, "for advancing the development of software architectures and empowering quantum scientists through leadership to design practical and impactful algorithms". [16]
In 2022, Svore was elected as a fellow of the Washington State Academy of Sciences for "advancing the field of computing through the development of new programming languages and algorithms for quantum computing, including pioneering work on arithmetic and machine learning operations on quantum computers, and for foundational contributions to the integration of machine learning into the development of scalable methods for web search." [17]
She was named one of the 39 Most Powerful female engineers by Business Insider in 2018. [1]
Computing is any goal-oriented activity requiring, benefiting from, or creating computing machinery. It includes the study and experimentation of algorithmic processes, and the development of both hardware and software. Computing has scientific, engineering, mathematical, technological, and social aspects. Major computing disciplines include computer engineering, computer science, cybersecurity, data science, information systems, information technology, and software engineering.
A quantum computer is a computer that exploits quantum mechanical phenomena. On small scales, physical matter exhibits properties of both particles and waves, and quantum computing leverages this behavior using specialized hardware. Classical physics cannot explain the operation of these quantum devices, and a scalable quantum computer could perform some calculations exponentially faster than any modern "classical" computer. Theoretically a large-scale quantum computer could break some widely used encryption schemes and aid physicists in performing physical simulations; however, the current state of the art is largely experimental and impractical, with several obstacles to useful applications.
Peter Williston Shor is an American theoretical computer scientist known for his work on quantum computation, in particular for devising Shor's algorithm, a quantum algorithm for factoring exponentially faster than the best currently-known algorithm running on a classical computer. He has been a professor of applied mathematics at the Massachusetts Institute of Technology (MIT) since 2003.
Alfred Vaino Aho is a Canadian computer scientist best known for his work on programming languages, compilers, and related algorithms, and his textbooks on the art and science of computer programming.
Theoretical computer science is a subfield of computer science and mathematics that focuses on the abstract and mathematical foundations of computation.
Quantum programming is the process of designing or assembling sequences of instructions, called quantum circuits, using gates, switches, and operators to manipulate a quantum system for a desired outcome or results of a given experiment. Quantum circuit algorithms can be implemented on integrated circuits, conducted with instrumentation, or written in a programming language for use with a quantum computer or a quantum processor.
Microsoft Research (MSR) is the research subsidiary of Microsoft. It was created in 1991 by Richard Rashid, Bill Gates and Nathan Myhrvold with the intent to advance state-of-the-art computing and solve difficult world problems through technological innovation in collaboration with academic, government, and industry researchers. The Microsoft Research team has more than 1,000 computer scientists, physicists, engineers, and mathematicians, including Turing Award winners, Fields Medal winners, MacArthur Fellows, and Dijkstra Prize winners.
The Donald E. Knuth Prize is a prize for outstanding contributions to the foundations of computer science, named after the American computer scientist Donald E. Knuth.
Yuri Gurevich, Professor Emeritus at the University of Michigan, is an American computer scientist and mathematician and the inventor of abstract state machines.
Microsoft Azure, or just Azure, is the cloud computing platform developed by Microsoft. It has management, access and development of applications and services to individuals, companies, and governments through its global infrastructure. It also provides capabilities that are usually not included within other cloud platforms, including software as a service (SaaS), platform as a service (PaaS), and infrastructure as a service (IaaS). Microsoft Azure supports many programming languages, tools, and frameworks, including Microsoft-specific and third-party software and systems.
Jennifer Tour Chayes is dean of the college of computing, data science, and society at the University of California, Berkeley. Before joining Berkeley, she was a technical fellow and managing director of Microsoft Research New England in Cambridge, Massachusetts, which she founded in 2008, and Microsoft Research New York City, which she founded in 2012.
Kristin Estella Lauter is an American mathematician and cryptographer whose research interest is broadly in application of number theory and algebraic geometry in cryptography. She is particularly known for her work in the area of elliptic curve cryptography. She was a researcher at Microsoft Research in Redmond, Washington, from 1999–2021 and the head of the Cryptography Group from 2008–2021; her group developed Microsoft SEAL. In April 2021, Lauter joined Facebook AI Research (FAIR) as the West Coast Head of Research Science. She became the President-Elect of the Association for Women in Mathematics in February 2014 and served as President February 1, 2015 - January 31, 2017.
Quantum machine learning is the integration of quantum algorithms within machine learning programs.
QxBranch, Inc. (QxBranch) is a data analysis and quantum computing software company, based in Washington, D.C. The company provides data analytics services and research and development for quantum computing technology. On July 11, 2019, QxBranch announced that it had been acquired by Rigetti Computing, a developer of quantum integrated circuits used for quantum computers.
Q# is a domain-specific programming language used for expressing quantum algorithms. It was initially released to the public by Microsoft as part of the Quantum Development Kit.
Quantinuum is a quantum computing company formed by the merger of Cambridge Quantum and Honeywell Quantum Solutions. The company's H-Series trapped-ion quantum computers set the highest quantum volume to date of 1,048,576 in April 2024. This architecture supports all-to-all qubit connectivity, allowing entangled states to be created between all qubits, and enables a high fidelity of quantum states.
Maria-Florina (Nina) Balcan is a Romanian-American computer scientist whose research investigates machine learning, algorithmic game theory, theoretical computer science, including active learning, kernel methods, random-sampling mechanisms and envy-free pricing. She is an associate professor of computer science at Carnegie Mellon University.
The current state of quantum computing is referred to as the noisy intermediate-scale quantum (NISQ) era, characterized by quantum processors containing up to 1,000 qubits which are not advanced enough yet for fault-tolerance or large enough to achieve quantum advantage. These processors, which are sensitive to their environment (noisy) and prone to quantum decoherence, are not yet capable of continuous quantum error correction. This intermediate-scale is defined by the quantum volume, which is based on the moderate number of qubits and gate fidelity. The term NISQ was coined by John Preskill in 2018.
Quantum natural language processing (QNLP) is the application of quantum computing to natural language processing (NLP). It computes word embeddings as parameterised quantum circuits that can solve NLP tasks faster than any classical computer. It is inspired by categorical quantum mechanics and the DisCoCat framework, making use of string diagrams to translate from grammatical structure to quantum processes.
Microsoft Azure Quantum is a public cloud-based quantum computing platform developed by Microsoft, that offers quantum hardware, software, and solutions for developers to build quantum applications. It supports variety of quantum hardware architectures from partners including Quantinuum, IonQ, and Atom Computing. To run applications on the cloud platform, Microsoft developed the Q# quantum programming language.