Laura K. Dillon

University of California System, University of California, Santa Barbara

Papers

Total Citations

H-Index

About

Laura K. Dillon is a computer scientist whose pioneering work lies at the intersection of formal methods, temporal logic, and real-time systems verification. Her most influential contribution is the development of the Real-Time Graphical Interval Logic (GIL) toolset, which introduced a novel, visually intuitive approach to reasoning about time-critical system behavior. Unlike traditional textual temporal logics, GIL leverages a graphical notation that closely resembles the timing diagrams commonly used by hardware and software engineers, making formal verification more accessible to practitioners. Dillon's research demonstrated that automated deduction could be effectively applied to this graphical logic, bridging the gap between rigorous mathematical verification and practical system design. Her work, published in the mid-1990s, has accumulated over a dozen citations and laid foundational groundwork for visual formalisms in real-time systems. By creating a logic that is both formally sound and naturally intuitive, Dillon helped democratize formal verification, enabling engineers to reason about complex timing constraints without needing deep expertise in mathematical logic. Her contributions remain relevant today as the demand for reliable, time-critical systems continues to grow.