Grigory Fedyukovich

Papers

Total Citations

H-Index

About

Grigory Fedyukovich is a leading researcher in formal methods, automated reasoning, and program synthesis, with a particular focus on the verification and synthesis of infinite-state systems. His work bridges the gap between theoretical foundations and practical tools for building reliable software. A key contribution is his pioneering approach to synthesizing systems that exhibit diverse, non-deterministic behaviors, moving beyond traditional deterministic solutions. His 2020 paper on "Synthesis of infinite-state systems with random behavior" introduces a novel method for discovering Skolem functions that generate a range of valid outputs, enabling the creation of more robust and adaptable systems. This work, alongside his broader research on property-directed reachability and interpolation, has garnered significant attention, with his most cited papers accumulating hundreds of citations. Fedyukovich’s contributions are not only theoretical; he has developed widely-used verification tools and algorithms that directly impact the practice of software engineering. His research is essential reading for anyone interested in the next generation of automated program synthesis and verification techniques.