Jeffrey Chen

Papers

Total Citations

H-Index

About

Jeffrey Chen is a researcher at the forefront of formal methods and automated synthesis, with a particular focus on introducing and controlling randomness within infinite-state systems. His most notable contribution, detailed in his 2020 paper "Synthesis of infinite-state systems with random behavior," addresses a critical gap in system design: the need for diversity and unpredictability in system outputs. Chen pioneered a novel approach by reimagining the synthesis of conformant implementations through the lens of randomized Skolem functions, moving beyond traditional deterministic witnessing. This work provides a powerful framework for engineers and computer scientists to automatically generate systems that are not only correct by construction but also exhibit rich, varied behaviors—a crucial property for applications ranging from cryptographic protocols to adaptive robotics. While his work is highly specialized and foundational, its impact is measured by its originality and the new research avenues it opens. Chen’s research stands as a key reference for anyone exploring the intersection of formal verification, synthesis, and probabilistic systems, offering a fresh perspective on how to build systems that are both reliable and dynamically responsive.