Audience: Alumni

Simulation is a coinductive proof technique to assert the behavioral equivalence of computing systems that has seen fruitful application in distributed systems, concurrent process calculi, and programming languages, since the 1970’s. We have also utilized simulation in our prior work, where we formalized and proved a folklore claim that the state-based and operation-based approaches to…

Miniaturized spectrometers have the potential to replace bulky and expensive benchtop models. We have previously demonstrated a multimode interference (MMI) waveguide-based spectrometer that achieves high performance while minimizing its footprint. In this talk, the integration of the MMI spectrometer into an optofluidic device is proposed. This integration opens up applications such as the detection of…

One of the central challenges in quantum computing is finding or approximating the ground-state energy of a local Hamiltonian, a quantum analogue of classical constraint satisfaction problems (CSPs). Among these, the Quantum Max-Cut problem serves as a canonical example, paralleling the classical Max-Cut problem. Despite its foundational importance in both theoretical computer science and condensed…