{"type":"rich","version":"1.0","provider_name":"Transistor","provider_url":"https://transistor.fm","author_name":"The New Quantum Era - innovation in quantum computing, science and technology","title":"A Programming Language for Quantum Simulations with Xiaodi Wu","html":"","width":"100%","height":180,"duration":3261,"description":"In this episode, host Sebastian Hassinger sits down with Xiaodi Wu, Associate Professor at the University of Maryland, to discuss Wu’s journey through quantum information science, his drive for bridging computer science and physics, and the creation of the quantum programming language SimuQ.Guest IntroductionXiaodi Wu shares his academic path from Tsinghua University (where he studied mathematics and physics) to a PhD at the University of Michigan, followed by postdoctoral work at MIT and a position at the University of Oregon, before joining the University of Maryland.The conversation highlights Wu’s formative experiences, early fascination with quantum complexity, and the impact of mentors like Andy Yao.Quantum Computing: Theory Meets PracticeWu discusses his desire to blend theoretical computer science with physics, leading to pioneering work in quantum complexity theory and device-independent quantum cryptography.He reflects on the challenges and benefits of interdisciplinary research, and the importance of historical context in guiding modern quantum technology development.Programming Languages and Human FactorsThe episode delves into Wu’s transition from theory to practical tools, emphasizing the major role of human factors and software correctness in building reliable quantum software.Wu identifies the value of drawing inspiration from classical programming languages like FORTRAN and SIMULA—and points out that quantum software must prioritize usability and debugging, not just elegant algorithms.SimiQ: Hamiltonian-Based Quantum AbstractionWu introduces SimuQ, a new quantum programming language designed to treat Hamiltonian evolution as a first-class abstraction, akin to how floating-point arithmetic is fundamental in classical computing.SimiQ enables users to specify Hamiltonian models directly and compiles them to both gate-based and analog/pulse-level quantum devices (including IBM, AWS Braket, and D-Wave backends).The language aims to make quantum...","thumbnail_url":"https://img.transistorcdn.com/0bJ0_ffy0r0O2l32QT5Tn9-3l9jtqpUcMVwNZnZXwRM/rs:fill:0:0:1/w:400/h:400/q:60/mb:500000/aHR0cHM6Ly9pbWct/dXBsb2FkLXByb2R1/Y3Rpb24udHJhbnNp/c3Rvci5mbS8yZmZl/YmRlZTAxNDY3MWJk/NmI2MGVkMGMxYmFh/MTM2Mi5wbmc.webp","thumbnail_width":300,"thumbnail_height":300}