Quantum Circuit Simulation
As part of the global development effort of IBM Q, IBM’s quantum computer, and the related software stack QISKit,we develop and analyze approximate noise models to better understand the behavior of quantum algorithms when run on noisy (i.e., non-fault-tolerant) quantum machines. These also serve as efficient, realistic reference models for the hardware.
Test Optimization Technologies
Software quality technologies aim to improve the effectiveness and accuracy of software testing methodologies and processes. Our combinatorial test design and test analysis technologies can be used to significantly reduce testing efforts of virtually any type of software.
Microservices-based architecture lies at the heart of many modern cloud applications. In such architectures, services communicate using lightweight protocols that are governed by network policies. We are developing a tool that builds a semantic model for a given set of network policies, allowing various analyses to be performed.