Trevor Elliott

Papers

Total Citations

H-Index

About

Trevor Elliott is a leading researcher in formal methods and reactive synthesis, with a focus on making correct-by-construction controller design accessible to practitioners. His key contributions center on domain-specific languages for specification, most notably through his work on "Salty," a DSL for GR(1) specifications that streamlines the creation of robot controllers guaranteed to react correctly to environmental changes. This work, cited 8 times, addresses the critical challenge of automating the synthesis of reliable controllers from high-level, human-readable requirements—a task traditionally prone to error and time-intensive. By bridging the gap between formal verification and practical engineering, Elliott’s research enables developers to generate provably correct designs without deep expertise in temporal logic. His impact lies in advancing the usability of synthesis tools, with potential applications in robotics, autonomous systems, and cyber-physical systems. Elliott’s work exemplifies a commitment to rigorous, automated design that reduces manual effort while ensuring safety and correctness, making him a notable figure in the growing field of specification-driven engineering.