Ben Greenman

Papers

Total Citations

H-Index

About

Ben Greenman is a leading researcher in formal methods and programming languages, with a focus on improving the reliability and usability of specification languages. His work centers on uncovering and cataloging common misconceptions in temporal logic—particularly in finite-trace and infinite-trace Linear Temporal Logic (LTL)—which is essential for applications in robot planning, runtime verification, and software correctness. His most-cited paper, "Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic" (2024), has already garnered 3 citations, reflecting its immediate impact on the field. Greenman’s contributions include developing test instruments and a systematic catalog of semantic errors that help practitioners avoid costly mistakes when writing specifications. His research bridges the gap between theoretical logic and practical software engineering, making complex formalisms more accessible and trustworthy. By exposing hidden pitfalls in LTL, Greenman is shaping how future systems are verified and how engineers are trained to reason about temporal properties. His work is a vital resource for students and researchers striving to build correct, reliable systems.