Yuxiang Peng developed programming languages and high-assurance compilers to control quantum systems, allowing them to perform computational tasks with certifications.
Yuxiang Peng developed programming languages and high-assurance compilers to control quantum systems, allowing them to perform computational tasks with certifications.
Nicole Yunger Halpern has been named one of Science News’s 10 “Scientists to Watch” for her pioneering work in quantum thermodynamics. She blends historical concepts with modern technology to advance the understanding of small-scale systems like qubits.
The awards acknowledge the accomplishments and future potential of scientists and engineers who are 42 years old or younger.
Using techniques from cryptography and computational complexity theory, Atul Singh Arora is developing methods to certify the properties of quantum systems that are otherwise hard to investigate.
Yuxiang Peng developed programming languages and high-assurance compilers to control quantum systems, allowing them to perform computational tasks with certifications.
Nicole Yunger Halpern has been named one of Science News’s 10 “Scientists to Watch” for her pioneering work in quantum thermodynamics. She blends historical concepts with modern technology to advance the understanding of small-scale systems like qubits.
The awards acknowledge the accomplishments and future potential of scientists and engineers who are 42 years old or younger.
Using techniques from cryptography and computational complexity theory, Atul Singh Arora is developing methods to certify the properties of quantum systems that are otherwise hard to investigate.