Jill Goryca

Papers

Total Citations

H-Index

About

Dr. Jill Goryca is a leading researcher in the formal synthesis of control software for multi-robot systems, with a focus on bridging the gap between theoretical computer science and practical robotics. Her most cited work, "Formal synthesis of supervisory control software for multiple robot systems" (2013, 18 citations), demonstrates a pioneering application of discrete event system theory to automatically generate high-level, real-time control logic for teams of cooperative ground robots. This approach provides formal guarantees on system behavior, ensuring safety and coordination without the need for manual programming. Dr. Goryca’s contributions are foundational to the development of verifiable, scalable control architectures for autonomous multi-agent systems, impacting fields from warehouse automation to search-and-rescue. Her research stands out for its rigorous integration of formal methods into real-world robotic applications, making her a key figure in advancing dependable, synthesis-driven robotics.